ocaml-alcotest

Package information

State
ok

Scheduler parameters

Tracked by Koschei
True
Current priority
64
Manual priority
0
Static priority
0
Arch override
None
Skip resolution
False

Configure scheduling

Tracked by Koschei
Manual priority
Skip resolution
Arch override
Cancel

Dependency changes since last build

No dependency changes

Groups

This package is not part of any global group.

Most recent builds

glibc
2.40.9000-23.fc42
2.40.9000-24.fc42
2
glibc-minimal-langpack
2.40.9000-23.fc42
2.40.9000-24.fc42
3
glibc-common
2.40.9000-23.fc42
2.40.9000-24.fc42
3
annobin-plugin-gcc
12.79-1.fc42
12.80-1.fc42
3
build-reproducibility-srpm-macros
0.4.3-1.fc42
0.5.0-1.fc42
3
glibc-devel
2.40.9000-23.fc42
2.40.9000-24.fc42
3
glibc-gconv-extra
2.40.9000-23.fc42
2.40.9000-24.fc42
3
curl
8.10.1-2.fc42
8.11.1-2.fc42
4
add-determinism
0.4.3-1.fc42
0.5.0-1.fc42
4
alternatives
1.30-1.fc41
1.31-1.fc42
4
annobin-docs
12.79-1.fc42
12.80-1.fc42
4
libselinux
3.8-0.rc1.2.fc42
3.8-0.rc3.1.fc42
4
libxcrypt-devel
4.4.36-11.fc42
4.4.36-12.fc42
4
systemd-libs
257-1.fc42
257.1-1.fc42
4
kernel-headers
6.13.0-0.rc1.e70140b...
6.13.0-0.rc4.36.fc42
4
libxcrypt
4.4.36-11.fc42
4.4.36-12.fc42
B
libxml2
2.12.8-2.fc41
2.12.9-1.fc42
B
ca-certificates
2024.2.69_v8.0.401-3.fc42
2024.2.69_v8.0.401-4.fc42
B
libcurl
8.10.1-2.fc42
8.11.1-2.fc42
B
shadow-utils
2:4.17.0~rc1-1.fc42
2:4.17.0~rc1-2.fc42
B
libsepol
3.8-0.rc1.1.fc42
3.8-0.rc3.1.fc42
B
libsemanage
3.8-0.rc1.1.fc42
3.8-0.rc3.1.fc42
B
glibc
2.40.9000-21.fc42
2.40.9000-23.fc42
2
annobin-plugin-gcc
12.77-1.fc42
12.79-1.fc42
3
glibc-gconv-extra
2.40.9000-21.fc42
2.40.9000-23.fc42
3
pyproject-srpm-macros
1.16.2-1.fc42
1.16.3-1.fc42
3
zip
3.0-41.fc41
3.0-42.fc42
3
qt6-srpm-macros
6.8.0-1.fc42
6.8.1-4.fc42
3
glibc-minimal-langpack
2.40.9000-21.fc42
2.40.9000-23.fc42
3
glibc-devel
2.40.9000-21.fc42
2.40.9000-23.fc42
3
python3
3.13.0-1.fc42
3.13.1-2.fc42
3
glibc-common
2.40.9000-21.fc42
2.40.9000-23.fc42
3
python3-libs
3.13.0-1.fc42
3.13.1-2.fc42
4
annobin-docs
12.77-1.fc42
12.79-1.fc42
4
systemd-libs
257~rc3-1.fc42
257-1.fc42
4
libselinux
3.7-7.fc42
3.8-0.rc1.2.fc42
4
fedora-release
42-0.9
42-0.11
B
libeconf
0.7.4-3.fc42
0.7.5-1.fc42
B
libsemanage
3.7-4.fc42
3.8-0.rc1.1.fc42
B
gdb-minimal
15.2-3.fc42
15.2-4.fc42
B
fedora-release-identity-basic
42-0.9
42-0.11
B
libsepol
3.7-4.fc42
3.8-0.rc1.1.fc42
B
libtool-ltdl
2.4.7-12.fc41
2.5.4-1.fc42
B
tzdata
2024a-9.fc41
2024b-1.fc42
B
shadow-utils
2:4.16.0-7.fc42
2:4.17.0~rc1-1.fc42
B
sqlite-libs
3.47.1-1.fc42
3.47.2-1.fc42
B
openldap
2.6.8-5.fc41
2.6.8-6.fc42
B
fedora-release-common
42-0.9
42-0.11
B
rpm-sequoia
1.7.0-2.fc41
1.7.0-3.fc42
B
glibc
2.40.9000-18.fc42
2.40.9000-21.fc42
2
binutils
2.43.50-8.fc42
2.43.50-9.fc42
3
efi-srpm-macros
5-12.fc41
5-13.fc42
3
glibc-gconv-extra
2.40.9000-18.fc42
2.40.9000-21.fc42
3
file
5.45-7.fc41
5.45-8.fc42
3
glibc-common
2.40.9000-18.fc42
2.40.9000-21.fc42
3
glibc-minimal-langpack
2.40.9000-18.fc42
2.40.9000-21.fc42
3
go-srpm-macros
3.6.0-3.fc41
3.6.0-5.fc42
3
glibc-devel
2.40.9000-18.fc42
2.40.9000-21.fc42
3
elfutils-debuginfod-client
0.192-6.fc42
0.192-7.fc42
4
kernel-headers
6.12.0-65.fc42
6.13.0-0.rc1.e70140b...
4
libselinux
3.7-6.fc42
3.7-7.fc42
4
pam-libs
1.7.0-2.fc42
1.7.0-3.fc42
4
file-libs
5.45-7.fc41
5.45-8.fc42
4
systemd-libs
257~rc2-2.fc42
257~rc3-1.fc42
4
unzip
6.0-64.fc41
6.0-65.fc42
4
elfutils-libelf
0.192-6.fc42
0.192-7.fc42
4
libxcrypt-devel
4.4.36-10.fc42
4.4.36-11.fc42
4
pam
1.7.0-2.fc42
1.7.0-3.fc42
4
elfutils
0.192-6.fc42
0.192-7.fc42
B
libxcrypt
4.4.36-10.fc42
4.4.36-11.fc42
B
fedora-release-common
42-0.8
42-0.9
B
libsepol
3.7-3.fc42
3.7-4.fc42
B
ca-certificates
2024.2.69_v8.0.401-2.fc42
2024.2.69_v8.0.401-3.fc42
B
fedora-release
42-0.8
42-0.9
B
sqlite-libs
3.47.0-1.fc42
3.47.1-1.fc42
B
crypto-policies
20241106-1.git35892de....
20241128-1.gitbb7b0b0....
B
fedora-release-identity-basic
42-0.8
42-0.9
B
debugedit
5.1-1.fc42
5.1-2.fc42
B
elfutils-default-yama-scope
0.192-6.fc42
0.192-7.fc42
B
libsemanage
3.7-3.fc42
3.7-4.fc42
B
elfutils-libs
0.192-6.fc42
0.192-7.fc42
B
annobin-plugin-gcc
12.75-1.fc42
12.77-1.fc42
3
binutils
2.43.50-7.fc42
2.43.50-8.fc42
3
annobin-docs
12.75-1.fc42
12.77-1.fc42
4
systemd-libs
257~rc1-2.fc42
257~rc2-2.fc42
4
kernel-headers
6.12.0-0.rc7.58.fc42
6.12.0-65.fc42
4
perl-File-Path
2.18-511.fc41
perl-overloading
0.02-512.fc42
perl-IO
1.55-512.fc42
perl-Pod-Simple
1:3.45-511.fc41
perl-B
1.89-512.fc42
perl-Time-Local
2:1.350-511.fc41
perl-IPC-Open3
1.22-512.fc42
perl-Getopt-Long
1:2.58-2.fc41
perl-File-stat
1.14-512.fc42
perl-MIME-Base64
3.16-511.fc41
perl-Text-Tabs+Wrap
2024.001-511.fc41
perl-locale
1.12-512.fc42
perl-Errno
1.38-512.fc42
perl-Fcntl
1.18-512.fc42
perl-Term-Cap
1.18-511.fc41
perl-IO-Socket-SSL
2.089-1.fc42
perl-Symbol
1.09-512.fc42
perl-Digest-MD5
2.59-5.fc41
perl-DynaLoader
1.56-512.fc42
perl-MIME-Base32
1.303-21.fc41
perl-mro
1.29-512.fc42
perl-base
2.27-512.fc42
perl-File-Temp
1:0.231.100-511.fc41
perl-Scalar-List-Utils
5:1.68-1.fc42
perl-POSIX
2.20-512.fc42
perl-Carp
1.54-511.fc41
perl-Net-SSLeay
1.94-7.fc41
perl-Data-Dumper
2.189-512.fc41
perl-constant
1.33-512.fc41
perl-if
0.61.000-512.fc42
perl-Pod-Usage
4:2.03-511.fc41
perl-overload
1.37-512.fc42
perl-Term-ANSIColor
5.01-512.fc41
perl-URI
5.31-1.fc42
perl-IO-Socket-IP
0.42-512.fc41
perl-FileHandle
2.05-512.fc42
perl-AutoLoader
5.74-512.fc42
perl-Storable
1:3.32-511.fc41
perl-vars
1.05-512.fc42
perl-Encode
4:3.21-511.fc41
perl-Pod-Escapes
1:1.07-511.fc41
perl-libnet
3.15-512.fc41
perl-Socket
4:2.038-511.fc41
perl-podlators
1:6.0.2-2.fc41
groff-base
1.23.0-7.fc41
perl-Getopt-Std
1.14-512.fc42
perl-File-Basename
2.86-512.fc42
perl-SelectSaver
1.02-512.fc42
ncurses
6.5-2.20240629.fc41
perl-Class-Struct
0.68-512.fc42
perl-interpreter
4:5.40.0-512.fc42
perl-Pod-Perldoc
3.28.01-512.fc41
perl-libs
4:5.40.0-512.fc42
perl-HTTP-Tiny
0.090-1.fc42
perl-Text-ParseWords
3.31-511.fc41
perl-PathTools
3.91-511.fc41
perl-Exporter
5.78-511.fc41
perl-Digest
1.20-511.fc41
perl-parent
1:0.242-1.fc42
glibc
2.40.9000-16.fc42
2.40.9000-18.fc42
2
pyproject-srpm-macros
1.16.1-1.fc42
1.16.2-1.fc42
3
coreutils
9.5-10.fc42
9.5-11.fc42
3
glibc-minimal-langpack
2.40.9000-16.fc42
2.40.9000-18.fc42
3
binutils
2.43.50-5.fc42
2.43.50-7.fc42
3
glibc-common
2.40.9000-16.fc42
2.40.9000-18.fc42
3
glibc-devel
2.40.9000-16.fc42
2.40.9000-18.fc42
3
annobin-plugin-gcc
12.70-1.fc42
12.75-1.fc42
3
glibc-gconv-extra
2.40.9000-16.fc42
2.40.9000-18.fc42
3
annobin-docs
12.70-1.fc42
12.75-1.fc42
4
elfutils-libelf
0.192-3.fc42
0.192-6.fc42
4
perl-interpreter
4:5.40.0-512.fc42
4
kernel-headers
6.12.0-0.rc6.51.fc42
6.12.0-0.rc7.58.fc42
4
elfutils-debuginfod-client
0.192-3.fc42
0.192-6.fc42
4
coreutils-common
9.5-10.fc42
9.5-11.fc42
4
perl-podlators
1:6.0.2-2.fc41
B
perl-Pod-Usage
4:2.03-511.fc41
B
perl-parent
1:0.242-1.fc42
B
perl-MIME-Base64
3.16-511.fc41
B
perl-Getopt-Std
1.14-512.fc42
B
perl-File-Basename
2.86-512.fc42
B
perl-POSIX
2.20-512.fc42
B
perl-base
2.27-512.fc42
B
perl-Pod-Simple
1:3.45-511.fc41
B
perl-Net-SSLeay
1.94-7.fc41
B
perl-MIME-Base32
1.303-21.fc41
B
perl-Term-ANSIColor
5.01-512.fc41
B
perl-overloading
0.02-512.fc42
B
perl-vars
1.05-512.fc42
B
perl-Digest-MD5
2.59-5.fc41
B
perl-File-Path
2.18-511.fc41
B
perl-Pod-Escapes
1:1.07-511.fc41
B
perl-Exporter
5.78-511.fc41
B
perl-mro
1.29-512.fc42
B
perl-IPC-Open3
1.22-512.fc42
B
perl-Scalar-List-Utils
5:1.68-1.fc42
B
perl-if
0.61.000-512.fc42
B
perl-Digest
1.20-511.fc41
B
ncurses
6.5-2.20240629.fc41
B
perl-DynaLoader
1.56-512.fc42
B
perl-Storable
1:3.32-511.fc41
B
perl-Data-Dumper
2.189-512.fc41
B
groff-base
1.23.0-7.fc41
B
perl-File-stat
1.14-512.fc42
B
perl-Pod-Perldoc
3.28.01-512.fc41
B
perl-Text-Tabs+Wrap
2024.001-511.fc41
B
perl-overload
1.37-512.fc42
B
perl-Socket
4:2.038-511.fc41
B
perl-Getopt-Long
1:2.58-2.fc41
B
libtirpc
1.3.6-0.fc42
1.3.6-1.fc42
B
elfutils
0.192-3.fc42
0.192-6.fc42
B
shadow-utils
2:4.16.0-6.fc42
2:4.16.0-7.fc42
B
sqlite-libs
3.46.1-1.fc42
3.47.0-1.fc42
B
elfutils-libs
0.192-3.fc42
0.192-6.fc42
B
elfutils-default-yama-scope
0.192-3.fc42
0.192-6.fc42
B
gdb-minimal
15.2-2.fc42
15.2-3.fc42
B
python-pip-wheel
24.2-2.fc42
24.3.1-1.fc42
B
perl-Encode
4:3.21-511.fc41
B
perl-SelectSaver
1.02-512.fc42
B
perl-libs
4:5.40.0-512.fc42
B
perl-Fcntl
1.18-512.fc42
B
perl-FileHandle
2.05-512.fc42
B
perl-constant
1.33-512.fc41
B
perl-IO
1.55-512.fc42
B
perl-File-Temp
1:0.231.100-511.fc41
B
perl-locale
1.12-512.fc42
B
perl-HTTP-Tiny
0.090-1.fc42
B
perl-Text-ParseWords
3.31-511.fc41
B
perl-B
1.89-512.fc42
B
perl-libnet
3.15-512.fc41
B
perl-PathTools
3.91-511.fc41
B
perl-Time-Local
2:1.350-511.fc41
B
perl-AutoLoader
5.74-512.fc42
B
perl-IO-Socket-SSL
2.089-1.fc42
B
perl-Symbol
1.09-512.fc42
B
perl-Errno
1.38-512.fc42
B
perl-Carp
1.54-511.fc41
B
perl-Term-Cap
1.18-511.fc41
B
perl-Class-Struct
0.68-512.fc42
B
perl-URI
5.31-1.fc42
B
perl-IO-Socket-IP
0.42-512.fc41
B
ocaml-dune
3.16.0-5.fc42
3.16.1-1.fc42
1
gcc
14.2.1-4.fc42
14.2.1-6.fc42
2
glibc
2.40.9000-15.fc42
2.40.9000-16.fc42
2
zlib-ng-compat
2.1.7-3.fc42
2.2.2-1.fc42
3
glibc-minimal-langpack
2.40.9000-15.fc42
2.40.9000-16.fc42
3
bash
5.2.32-2.fc42
5.2.37-1.fc42
3
glibc-gconv-extra
2.40.9000-15.fc42
2.40.9000-16.fc42
3
glibc-common
2.40.9000-15.fc42
2.40.9000-16.fc42
3
libgomp
14.2.1-4.fc42
14.2.1-6.fc42
3
pyproject-srpm-macros
1.15.1-1.fc42
1.16.1-1.fc42
3
glibc-devel
2.40.9000-15.fc42
2.40.9000-16.fc42
3
cpp
14.2.1-4.fc42
14.2.1-6.fc42
3
libgcc
14.2.1-4.fc42
14.2.1-6.fc42
3
gcc-plugin-annobin
14.2.1-4.fc42
14.2.1-6.fc42
3
pam-libs
1.7.0-1.fc42
1.7.0-2.fc42
4
libarchive
3.7.6-1.fc42
3.7.7-1.fc42
4
systemd-libs
256.7-1.fc42
257~rc1-2.fc42
4
kernel-headers
6.12.0-0.rc5.44.fc42
6.12.0-0.rc6.51.fc42
4
pam
1.7.0-1.fc42
1.7.0-2.fc42
4
libxcrypt-devel
4.4.36-7.fc41
4.4.36-10.fc42
4
libstdc++
14.2.1-4.fc42
14.2.1-6.fc42
4
fedora-release-identity-basic
42-0.6
42-0.8
B
gdb-minimal
15.2-1.fc42
15.2-2.fc42
B
expat
2.6.3-1.fc42
2.6.4-1.fc42
B
libxcrypt
4.4.36-7.fc41
4.4.36-10.fc42
B
crypto-policies
20241018-1.gitce922cb....
20241106-1.git35892de....
B
fedora-release-common
42-0.6
42-0.8
B
libeconf
0.7.4-2.fc42
0.7.4-3.fc42
B
json-c
0.17-4.fc41
0.18-1.fc42
B
fedora-release
42-0.6
42-0.8
B
glibc
2.40.9000-7.fc42
2.40.9000-15.fc42
2
binutils
2.43.1-1.fc42
2.43.50-5.fc42
3
glibc-minimal-langpack
2.40.9000-7.fc42
2.40.9000-15.fc42
3
glibc-common
2.40.9000-7.fc42
2.40.9000-15.fc42
3
glibc-devel
2.40.9000-7.fc42
2.40.9000-15.fc42
3
glibc-gconv-extra
2.40.9000-7.fc42
2.40.9000-15.fc42
3
build-reproducibility-srpm-macros
0.4.2-2.fc42
0.4.3-1.fc42
3
pam
1.6.1-7.fc42
1.7.0-1.fc42
4
kernel-headers
6.11.0-63.fc42
6.12.0-0.rc5.44.fc42
4
pam-libs
1.6.1-7.fc42
1.7.0-1.fc42
4
libcap
2.70-4.fc41
2.71-1.fc42
4
jansson
2.13.1-10.fc41
2.14-1.fc42
4
elfutils-debuginfod-client
0.191-8.fc41
0.192-3.fc42
4
add-determinism
0.4.2-2.fc42
0.4.3-1.fc42
4
elfutils-libelf
0.191-8.fc41
0.192-3.fc42
4
lua-libs
5.4.6-6.fc41
5.4.7-1.fc42
B
elfutils-libs
0.191-8.fc41
0.192-3.fc42
B
fedora-release-common
42-0.4
42-0.6
B
debugedit
5.0-18.fc42
5.1-1.fc42
B
fedora-repos-rawhide
42-0.2
42-0.3
B
libnghttp2
1.63.0-1.fc42
1.64.0-1.fc42
B
elfutils
0.191-8.fc41
0.192-3.fc42
B
libcom_err
1.47.1-3.fc41
1.47.1-6.fc42
B
sqlite-libs
3.46.0-4.fc41
3.46.1-1.fc42
B
libtirpc
1.3.5-0.fc41
1.3.6-0.fc42
B
fedora-release
42-0.4
42-0.6
B
crypto-policies
20241010-1.git8baf557....
20241018-1.gitce922cb....
B
fedora-release-identity-basic
42-0.4
42-0.6
B
fedora-repos
42-0.2
42-0.3
B
glibc-headers-x86
2.40.9000-7.fc42
elfutils-default-yama-scope
0.191-8.fc41
0.192-3.fc42
B
krb5-libs
1.21.3-2.fc41
1.21.3-3.fc42
B
json-c
0.17-4.fc41
B
fedora-gpg-keys
42-0.2
42-0.3
B
ocaml-dune
3.16.0-3.fc41
3.16.0-5.fc42
1
glibc
2.40.9000-1.fc42
2.40.9000-7.fc42
2
build-reproducibility-srpm-macros
0.3.6-1.fc41
0.4.2-2.fc42
3
rpm
4.19.94-1.fc42
4.20.0-1.fc42
3
glibc-common
2.40.9000-1.fc42
2.40.9000-7.fc42
3
glibc-minimal-langpack
2.40.9000-1.fc42
2.40.9000-7.fc42
3
dwz
0.15-7.fc41
0.15-8.fc42
3
python3
3.13.0~rc3-1.fc42
3.13.0-1.fc42
3
glibc-devel
2.40.9000-1.fc42
2.40.9000-7.fc42
3
glibc-gconv-extra
2.40.9000-1.fc42
2.40.9000-7.fc42
3
qt6-srpm-macros
6.7.2-3.fc41
6.8.0-1.fc42
3
glibc-headers-x86
2.40.9000-1.fc42
2.40.9000-7.fc42
4
rpm-build
4.19.94-1.fc42
4.20.0-1.fc42
4
add-determinism
0.3.6-1.fc41
0.4.2-2.fc42
4
authselect-libs
1.5.0-7.fc41
1.5.0-8.fc42
4
python3-libs
3.13.0~rc3-1.fc42
3.13.0-1.fc42
4
systemd-libs
256.5-1.fc42
256.7-1.fc42
4
rpm-libs
4.19.94-1.fc42
4.20.0-1.fc42
4
pam
1.6.1-6.fc42
1.6.1-7.fc42
4
pam-libs
1.6.1-6.fc42
1.6.1-7.fc42
4
rpm-build-libs
4.19.94-1.fc42
4.20.0-1.fc42
B
fedora-release-common
42-0.3
42-0.4
B
libeconf
0.6.2-3.fc41
0.7.4-2.fc42
B
fedora-release-identity-basic
42-0.3
42-0.4
B
fedora-release
42-0.3
42-0.4
B
xz-libs
1:5.6.3-1.fc42
1:5.6.3-2.fc42
B
xz
1:5.6.3-1.fc42
1:5.6.3-2.fc42
B
p11-kit
0.25.5-3.fc41
0.25.5-4.fc42
B
gdb-minimal
15.1-2.fc42
15.2-1.fc42
B
shadow-utils
2:4.16.0-5.fc42
2:4.16.0-6.fc42
B
crypto-policies
20240927-1.git93b7251....
20241010-1.git8baf557....
B
info
7.1.1-1.fc42
7.1.1-2.fc42
B
authselect
1.5.0-7.fc41
1.5.0-8.fc42
B
p11-kit-trust
0.25.5-3.fc41
0.25.5-4.fc42
B
Previous history