ocaml-zarith

Package information

State
ok

Scheduler parameters

Tracked by Koschei
True
Current priority
1739
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

binutils
2.43.50-7.fc42
2.43.50-8.fc42
2
glibc-devel
2.40.9000-18.fc42
2.40.9000-20.fc42
2
annobin-plugin-gcc
12.75-1.fc42
12.77-1.fc42
2
glibc
2.40.9000-18.fc42
2.40.9000-20.fc42
2
efi-srpm-macros
5-12.fc41
5-13.fc42
2
file
5.45-7.fc41
5.45-8.fc42
2
systemd-libs
257~rc1-2.fc42
257~rc2-2.fc42
3
glibc-common
2.40.9000-18.fc42
2.40.9000-20.fc42
3
annobin-docs
12.75-1.fc42
12.77-1.fc42
3
kernel-headers
6.12.0-0.rc7.58.fc42
6.12.0-65.fc42
3
glibc-gconv-extra
2.40.9000-18.fc42
2.40.9000-20.fc42
3
glibc-minimal-langpack
2.40.9000-18.fc42
2.40.9000-20.fc42
3
file-libs
5.45-7.fc41
5.45-8.fc42
3
pam-libs
1.7.0-2.fc42
1.7.0-3.fc42
4
pam
1.7.0-2.fc42
1.7.0-3.fc42
4

Groups

This package is not part of any global group.

Most recent builds

annobin-plugin-gcc
12.70-1.fc42
12.75-1.fc42
2
binutils
2.43.50-5.fc42
2.43.50-7.fc42
2
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
2
coreutils
9.5-10.fc42
9.5-11.fc42
2
glibc-devel
2.40.9000-16.fc42
2.40.9000-18.fc42
2
libxcrypt
4.4.36-9.fc42
4.4.36-10.fc42
3
glibc-minimal-langpack
2.40.9000-16.fc42
2.40.9000-18.fc42
3
glibc-common
2.40.9000-16.fc42
2.40.9000-18.fc42
3
coreutils-common
9.5-10.fc42
9.5-11.fc42
3
annobin-docs
12.70-1.fc42
12.75-1.fc42
3
elfutils-libelf
0.192-3.fc42
0.192-6.fc42
3
libxcrypt-devel
4.4.36-9.fc42
4.4.36-10.fc42
3
glibc-gconv-extra
2.40.9000-16.fc42
2.40.9000-18.fc42
3
kernel-headers
6.12.0-0.rc6.51.fc42
6.12.0-0.rc7.58.fc42
3
elfutils-debuginfod-client
0.192-3.fc42
0.192-6.fc42
3
elfutils
0.192-3.fc42
0.192-6.fc42
4
elfutils-libs
0.192-3.fc42
0.192-6.fc42
4
sqlite-libs
3.46.1-1.fc42
3.47.0-1.fc42
4
python-pip-wheel
24.2-2.fc42
24.3.1-1.fc42
4
gdb-minimal
15.2-2.fc42
15.2-3.fc42
4
perl-Mozilla-CA
20240924-1.fc42
shadow-utils
2:4.16.0-6.fc42
2:4.16.0-7.fc42
B
elfutils-default-yama-scope
0.192-3.fc42
0.192-6.fc42
B
libeconf
0.7.4-2.fc42
0.7.4-3.fc42
B
libtirpc
1.3.6-0.fc42
1.3.6-1.fc42
B
perl-HTTP-Tiny
0.088-512.fc41
0.090-1.fc42
B
gcc
14.2.1-5.fc42
14.2.1-6.fc42
1
libgomp
14.2.1-5.fc42
14.2.1-6.fc42
2
zlib-ng-compat
2.1.7-3.fc42
2.2.2-1.fc42
2
glibc
2.40.9000-15.fc42
2.40.9000-16.fc42
2
bash
5.2.32-2.fc42
5.2.37-1.fc42
2
cpp
14.2.1-5.fc42
14.2.1-6.fc42
2
pyproject-srpm-macros
1.15.1-1.fc42
1.16.1-1.fc42
2
glibc-devel
2.40.9000-15.fc42
2.40.9000-16.fc42
2
libgcc
14.2.1-5.fc42
14.2.1-6.fc42
2
gcc-plugin-annobin
14.2.1-5.fc42
14.2.1-6.fc42
2
glibc-minimal-langpack
2.40.9000-15.fc42
2.40.9000-16.fc42
3
libxcrypt
4.4.36-7.fc41
4.4.36-9.fc42
3
glibc-gconv-extra
2.40.9000-15.fc42
2.40.9000-16.fc42
3
libarchive
3.7.6-1.fc42
3.7.7-1.fc42
3
systemd-libs
256.7-1.fc42
257~rc1-2.fc42
3
glibc-common
2.40.9000-15.fc42
2.40.9000-16.fc42
3
kernel-headers
6.12.0-0.rc5.44.fc42
6.12.0-0.rc6.51.fc42
3
libstdc++
14.2.1-5.fc42
14.2.1-6.fc42
3
libxcrypt-devel
4.4.36-7.fc41
4.4.36-9.fc42
3
json-c
0.17-4.fc41
0.18-1.fc42
4
pam
1.7.0-1.fc42
1.7.0-2.fc42
4
crypto-policies
20241018-1.gitce922cb....
20241106-1.git35892de....
4
expat
2.6.3-1.fc42
2.6.4-1.fc42
4
gdb-minimal
15.2-1.fc42
15.2-2.fc42
4
pam-libs
1.7.0-1.fc42
1.7.0-2.fc42
4
fedora-release
42-0.6
42-0.8
B
fedora-release-identity-basic
42-0.6
42-0.8
B
fedora-release-common
42-0.6
42-0.8
B
perl-URI
5.30-1.fc42
5.31-1.fc42
B
gcc
14.2.1-4.fc42
14.2.1-5.fc42
1
glibc
2.40.9000-8.fc42
2.40.9000-15.fc42
2
libgomp
14.2.1-4.fc42
14.2.1-5.fc42
2
gcc-plugin-annobin
14.2.1-4.fc42
14.2.1-5.fc42
2
glibc-devel
2.40.9000-8.fc42
2.40.9000-15.fc42
2
cpp
14.2.1-4.fc42
14.2.1-5.fc42
2
libgcc
14.2.1-4.fc42
14.2.1-5.fc42
2
glibc-minimal-langpack
2.40.9000-8.fc42
2.40.9000-15.fc42
3
libcap
2.70-4.fc41
2.71-1.fc42
3
glibc-common
2.40.9000-8.fc42
2.40.9000-15.fc42
3
glibc-gconv-extra
2.40.9000-8.fc42
2.40.9000-15.fc42
3
libstdc++
14.2.1-4.fc42
14.2.1-5.fc42
3
kernel-headers
6.12.0-0.rc4.39.fc42
6.12.0-0.rc5.44.fc42
3
pam-libs
1.6.1-8.fc42
1.7.0-1.fc42
4
pam
1.6.1-8.fc42
1.7.0-1.fc42
4
debugedit
5.0-18.fc42
5.1-1.fc42
4
krb5-libs
1.21.3-2.fc41
1.21.3-3.fc42
B
glibc-headers-x86
2.40.9000-8.fc42
binutils
2.43.1-1.fc42
2.43.50-5.fc42
2
build-reproducibility-srpm-macros
0.4.1-1.fc42
0.4.3-1.fc42
2
glibc
2.40.9000-7.fc42
2.40.9000-8.fc42
2
glibc-devel
2.40.9000-7.fc42
2.40.9000-8.fc42
2
elfutils-debuginfod-client
0.191-8.fc41
0.192-3.fc42
3
elfutils-libelf
0.191-8.fc41
0.192-3.fc42
3
glibc-common
2.40.9000-7.fc42
2.40.9000-8.fc42
3
glibc-headers-x86
2.40.9000-7.fc42
2.40.9000-8.fc42
3
jansson
2.13.1-10.fc41
2.14-1.fc42
3
glibc-minimal-langpack
2.40.9000-7.fc42
2.40.9000-8.fc42
3
glibc-gconv-extra
2.40.9000-7.fc42
2.40.9000-8.fc42
3
add-determinism
0.4.1-1.fc42
0.4.3-1.fc42
3
kernel-headers
6.11.0-63.fc42
6.12.0-0.rc4.39.fc42
3
pam-libs
1.6.1-6.fc42
1.6.1-8.fc42
4
elfutils
0.191-8.fc41
0.192-3.fc42
4
sqlite-libs
3.46.0-4.fc41
3.46.1-1.fc42
4
elfutils-libs
0.191-8.fc41
0.192-3.fc42
4
pam
1.6.1-6.fc42
1.6.1-8.fc42
4
crypto-policies
20241010-1.git8baf557....
20241018-1.gitce922cb....
4
json-c
0.17-4.fc41
4
lua-libs
5.4.6-6.fc41
5.4.7-1.fc42
4
perl-Scalar-List-Utils
5:1.66-1.fc42
5:1.68-1.fc42
4
shadow-utils
2:4.16.0-5.fc42
2:4.16.0-6.fc42
B
fedora-release-identity-basic
42-0.4
42-0.6
B
fedora-repos
42-0.2
42-0.3
B
fedora-repos-rawhide
42-0.2
42-0.3
B
libtirpc
1.3.5-0.fc41
1.3.6-0.fc42
B
fedora-release-common
42-0.4
42-0.6
B
libcom_err
1.47.1-3.fc41
1.47.1-6.fc42
B
fedora-release
42-0.4
42-0.6
B
fedora-gpg-keys
42-0.2
42-0.3
B
libeconf
0.6.2-3.fc41
0.7.4-2.fc42
B
libnghttp2
1.63.0-1.fc42
1.64.0-1.fc42
B
elfutils-default-yama-scope
0.191-8.fc41
0.192-3.fc42
B
perl-interpreter
4:5.40.0-511.fc41
4:5.40.0-512.fc42
1
qt6-srpm-macros
6.7.2-3.fc41
6.8.0-1.fc42
2
glibc
2.40.9000-6.fc42
2.40.9000-7.fc42
2
perl-libs
4:5.40.0-511.fc41
4:5.40.0-512.fc42
2
build-reproducibility-srpm-macros
0.3.6-1.fc41
0.4.1-1.fc42
2
glibc-devel
2.40.9000-6.fc42
2.40.9000-7.fc42
2
glibc-gconv-extra
2.40.9000-6.fc42
2.40.9000-7.fc42
3
glibc-headers-x86
2.40.9000-6.fc42
2.40.9000-7.fc42
3
systemd-libs
256.5-1.fc42
256.7-1.fc42
3
glibc-minimal-langpack
2.40.9000-6.fc42
2.40.9000-7.fc42
3
glibc-common
2.40.9000-6.fc42
2.40.9000-7.fc42
3
add-determinism
0.3.6-1.fc41
0.4.1-1.fc42
3
perl-DynaLoader
1.56-511.fc41
1.56-512.fc42
3
perl-vars
1.05-511.fc41
1.05-512.fc42
4
xz-libs
1:5.6.3-1.fc42
1:5.6.3-2.fc42
4
xz
1:5.6.3-1.fc42
1:5.6.3-2.fc42
4
perl-Errno
1.38-511.fc41
1.38-512.fc42
4
gdb-minimal
15.1-2.fc42
15.2-1.fc42
4
perl-overload
1.37-511.fc41
1.37-512.fc42
4
perl-Getopt-Std
1.14-511.fc41
1.14-512.fc42
4
perl-File-Basename
2.86-511.fc41
2.86-512.fc42
4
perl-IPC-Open3
1.22-511.fc41
1.22-512.fc42
B
perl-File-stat
1.14-511.fc41
1.14-512.fc42
B
perl-Symbol
1.09-511.fc41
1.09-512.fc42
B
perl-Fcntl
1.18-511.fc41
1.18-512.fc42
B
perl-POSIX
2.20-511.fc41
2.20-512.fc42
B
perl-IO
1.55-511.fc41
1.55-512.fc42
B
perl-Class-Struct
0.68-511.fc41
0.68-512.fc42
B
perl-locale
1.12-511.fc41
1.12-512.fc42
B
perl-mro
1.29-511.fc41
1.29-512.fc42
B
perl-if
0.61.000-511.fc41
0.61.000-512.fc42
B
perl-SelectSaver
1.02-511.fc41
1.02-512.fc42
B
perl-FileHandle
2.05-511.fc41
2.05-512.fc42
B
perl-AutoLoader
5.74-511.fc41
5.74-512.fc42
B
info
7.1.1-1.fc42
7.1.1-2.fc42
B
perl-B
1.89-511.fc41
1.89-512.fc42
B
perl-overloading
0.02-511.fc41
0.02-512.fc42
B
perl-base
2.27-511.fc41
2.27-512.fc42
B
make
1:4.4.1-8.fc41
1:4.4.1-9.fc42
1
pyproject-srpm-macros
1.15.0-1.fc42
1.15.1-1.fc42
2
glibc
2.40.9000-1.fc42
2.40.9000-6.fc42
2
dwz
0.15-7.fc41
0.15-8.fc42
2
rpm
4.19.94-1.fc42
4.20.0-1.fc42
2
glibc-devel
2.40.9000-1.fc42
2.40.9000-6.fc42
2
python3
3.13.0~rc2-3.fc42
3.13.0-1.fc42
2
python3-libs
3.13.0~rc2-3.fc42
3.13.0-1.fc42
3
rpm-build
4.19.94-1.fc42
4.20.0-1.fc42
3
glibc-common
2.40.9000-1.fc42
2.40.9000-6.fc42
3
glibc-minimal-langpack
2.40.9000-1.fc42
2.40.9000-6.fc42
3
glibc-headers-x86
2.40.9000-1.fc42
2.40.9000-6.fc42
3
rpm-libs
4.19.94-1.fc42
4.20.0-1.fc42
3
glibc-gconv-extra
2.40.9000-1.fc42
2.40.9000-6.fc42
3
crypto-policies
20240828-1.git5f66e81....
20241010-1.git8baf557....
4
rpm-build-libs
4.19.94-1.fc42
4.20.0-1.fc42
4
debugedit
5.0-17.fc41
5.0-18.fc42
4
xz
1:5.6.2-2.fc41
1:5.6.3-1.fc42
4
authselect-libs
1.5.0-7.fc41
1.5.0-8.fc42
4
xz-libs
1:5.6.2-2.fc41
1:5.6.3-1.fc42
4
fedora-release-common
42-0.3
42-0.4
B
perl-URI
5.29-1.fc42
5.30-1.fc42
B
p11-kit
0.25.5-3.fc41
0.25.5-4.fc42
B
fedora-release-identity-basic
42-0.3
42-0.4
B
xxhash-libs
0.8.2-3.fc41
0.8.2-4.fc42
B
shadow-utils
2:4.16.0-4.fc42
2:4.16.0-5.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
fedora-release
42-0.3
42-0.4
B
gcc
14.2.1-3.fc42
14.2.1-4.fc42
1
redhat-rpm-config
295-1.fc42
296-1.fc42
1
pyproject-srpm-macros
1.14.0-1.fc41
1.15.0-1.fc42
2
libgcc
14.2.1-3.fc42
14.2.1-4.fc42
2
libgomp
14.2.1-3.fc42
14.2.1-4.fc42
2
coreutils
9.5-9.fc42
9.5-10.fc42
2
forge-srpm-macros
0.3.2-1.fc41
0.4.0-1.fc42
2
cpp
14.2.1-3.fc42
14.2.1-4.fc42
2
ghc-srpm-macros
1.9.1-2.fc41
1.9.2-1.fc42
2
python3
3.13.0~rc2-1.fc42
3.13.0~rc2-3.fc42
2
gcc-plugin-annobin
14.2.1-3.fc42
14.2.1-4.fc42
2
curl
8.10.0-1.fc42
8.10.1-2.fc42
3
python3-libs
3.13.0~rc2-1.fc42
3.13.0~rc2-3.fc42
3
libarchive
3.7.4-3.fc41
3.7.6-1.fc42
3
filesystem
3.18-23.fc41
3.18-29.fc42
3
kernel-headers
6.11.0-0.rc7.56.fc42
6.11.0-63.fc42
3
coreutils-common
9.5-9.fc42
9.5-10.fc42
3
libstdc++
14.2.1-3.fc42
14.2.1-4.fc42
3
ca-certificates
2024.2.68_v8.0.302-3.fc41
2024.2.69_v8.0.401-2.fc42
4
python-pip-wheel
24.2-1.fc41
24.2-2.fc42
4
libcurl
8.10.0-1.fc42
8.10.1-2.fc42
4
perl-Scalar-List-Utils
5:1.65-1.fc41
5:1.66-1.fc42
4
shadow-utils
2:4.16.0-3.fc42
2:4.16.0-4.fc42
B
perl-Mozilla-CA
20240730-1.fc41
20240924-1.fc42
B
fedora-repos
42-0.1
42-0.2
B
fedora-gpg-keys
42-0.1
42-0.2
B
fedora-repos-rawhide
42-0.1
42-0.2
B
gcc
14.2.1-2.fc42
14.2.1-3.fc42
1
cpp
14.2.1-2.fc42
14.2.1-3.fc42
2
libgomp
14.2.1-2.fc42
14.2.1-3.fc42
2
libgcc
14.2.1-2.fc42
14.2.1-3.fc42
2
gcc-plugin-annobin
14.2.1-2.fc42
14.2.1-3.fc42
2
zlib-ng-compat
2.1.7-2.fc41
2.1.7-3.fc42
2
rpm
4.19.93-1.fc42
4.19.94-1.fc42
2
rpm-build
4.19.93-1.fc42
4.19.94-1.fc42
3
libselinux
3.7-5.fc41
3.7-6.fc42
3
libstdc++
14.2.1-2.fc42
14.2.1-3.fc42
3
kernel-headers
6.11.0-0.rc6.49.fc42
6.11.0-0.rc7.56.fc42
3
rpm-libs
4.19.93-1.fc42
4.19.94-1.fc42
3
curl
8.9.1-3.fc42
8.10.0-1.fc42
3
openssl-libs
1:3.2.2-5.fc41
1:3.2.2-8.fc42
3
libsepol
3.7-2.fc41
3.7-3.fc42
4
rpm-build-libs
4.19.93-1.fc42
4.19.94-1.fc42
4
gdb-minimal
15.1-1.fc41
15.1-2.fc42
4
libcurl
8.9.1-3.fc42
8.10.0-1.fc42
4
info
7.1-3.fc41
7.1.1-1.fc42
B
libsemanage
3.7-2.fc41
3.7-3.fc42
B
shadow-utils
2:4.15.1-9.fc41
2:4.16.0-3.fc42
B
Previous history