ocaml-zarith

Package information

State
ok

Scheduler parameters

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

python3
3.12.0~rc2-1.fc40
3.12.0~rc3-1.fc40
1
gcc
13.2.1-1.fc39
13.2.1-3.fc40
1
ghc-srpm-macros
1.6.1-2.fc39
1.6.1-3.fc40
2
libgomp
13.2.1-1.fc39
13.2.1-3.fc40
2
gcc-plugin-annobin
13.2.1-1.fc39
13.2.1-3.fc40
2
libgcc
13.2.1-1.fc39
13.2.1-3.fc40
2
cpp
13.2.1-1.fc39
13.2.1-3.fc40
2
rpm
4.18.99-1.fc40
4.19.0-1.fc40
2
python3-libs
3.12.0~rc2-1.fc40
3.12.0~rc3-1.fc40
2
libstdc++
13.2.1-1.fc39
13.2.1-3.fc40
3
rpm-libs
4.18.99-1.fc40
4.19.0-1.fc40
3
crypto-policies
20230731-1.git5ed06e0....
20230920-1.git570ea89....
4
systemd-libs
254.2-7.fc40
254.2-12.fc40
4
rpm-build
4.18.99-1.fc40
4.19.0-1.fc40
B
fedora-release-common
40-0.7
40-0.8
B
perl-Digest-MD5
2.58-500.fc39
2.58-501.fc40
B
rpm-build-libs
4.18.99-1.fc40
4.19.0-1.fc40
B
fedora-release
40-0.7
40-0.8
B
fedora-release-identity-basic
40-0.7
40-0.8
B
zip
3.0-38.fc39
3.0-39.fc40
2
qt6-srpm-macros
6.5.2-2.fc39
6.5.2-3.fc40
2
coreutils
9.3-2.fc39
9.4-1.fc40
2
glibc
2.38.9000-8.fc40
2.38.9000-9.fc40
2
findutils
1:4.9.0-5.fc39
1:4.9.0-6.fc40
2
glibc-devel
2.38.9000-8.fc40
2.38.9000-9.fc40
2
glibc-gconv-extra
2.38.9000-8.fc40
2.38.9000-9.fc40
3
curl
8.2.1-2.fc40
8.3.0-1.fc40
3
glibc-headers-x86
2.38.9000-8.fc40
2.38.9000-9.fc40
3
glibc-minimal-langpack
2.38.9000-8.fc40
2.38.9000-9.fc40
3
glibc-common
2.38.9000-8.fc40
2.38.9000-9.fc40
3
coreutils-common
9.3-2.fc39
9.4-1.fc40
3
kernel-headers
6.6.0-0.rc1.git0.1....
6.6.0-0.rc2.git0.1....
3
systemd-libs
254.1-2.fc40
254.2-7.fc40
4
audit-libs
3.1.2-3.fc40
3.1.2-4.fc40
4
libcurl
8.2.1-2.fc40
8.3.0-1.fc40
4
gdb-minimal
13.2-7.fc39
13.2-9.fc40
B
libbrotli
1.0.9-13.fc39
1.1.0-1.fc40
B
perl-Pod-Escapes
1:1.07-500.fc39
1:1.07-501.fc40
B
annobin-plugin-gcc
12.25-1.fc40
12.26-1.fc40
2
go-srpm-macros
3.2.0-6.fc39
3.2.0-7.fc40
2
glibc-devel
2.38.9000-7.fc40
2.38.9000-8.fc40
2
glibc
2.38.9000-7.fc40
2.38.9000-8.fc40
2
glibc-headers-x86
2.38.9000-7.fc40
2.38.9000-8.fc40
3
ncurses-libs
6.4-6.20230520.fc39
6.4-7.20230520.fc40
3
libarchive
3.7.1-1.fc39
3.7.2-1.fc40
3
sqlite-libs
3.43.0-1.fc40
3.43.1-1.fc40
3
kernel-headers
6.5.0-1.fc40
6.6.0-0.rc1.git0.1....
3
annobin-docs
12.25-1.fc40
12.26-1.fc40
3
libattr
2.5.1-8.fc39
2.5.1-9.fc40
3
glibc-gconv-extra
2.38.9000-7.fc40
2.38.9000-8.fc40
3
glibc-minimal-langpack
2.38.9000-7.fc40
2.38.9000-8.fc40
3
libacl
2.3.1-8.fc39
2.3.1-9.fc40
3
glibc-common
2.38.9000-7.fc40
2.38.9000-8.fc40
3
ca-certificates
2023.2.60_v7.0.306-2.fc39
2023.2.60_v7.0.306-3.fc40
4
ncurses-base
6.4-6.20230520.fc39
6.4-7.20230520.fc40
4
libnghttp2
1.55.1-2.fc39
1.56.0-1.fc40
B
ncurses
6.4-6.20230520.fc39
6.4-7.20230520.fc40
B
python3
3.12.0~rc1-1.fc40
3.12.0~rc2-1.fc40
1
redhat-rpm-config
265-1.fc40
266-1.fc40
1
python3-libs
3.12.0~rc1-1.fc40
3.12.0~rc2-1.fc40
2
glibc
2.38.9000-6.fc40
2.38.9000-7.fc40
2
glibc-devel
2.38.9000-6.fc40
2.38.9000-7.fc40
2
python-srpm-macros
3.12-2.fc39
3.12-4.fc40
2
forge-srpm-macros
0.1.0-1.fc40
2
glibc-headers-x86
2.38.9000-6.fc40
2.38.9000-7.fc40
3
glibc-minimal-langpack
2.38.9000-6.fc40
2.38.9000-7.fc40
3
glibc-gconv-extra
2.38.9000-6.fc40
2.38.9000-7.fc40
3
glibc-common
2.38.9000-6.fc40
2.38.9000-7.fc40
3
libtool-ltdl
2.4.7-7.fc39
2.4.7-8.fc40
3
audit-libs
3.1.2-2.fc40
3.1.2-3.fc40
4
libdb
5.3.28-56.fc39
5.3.28-58.fc40
B
annobin-plugin-gcc
12.23-1.fc39
12.25-1.fc40
2
rpm
4.18.92-3.fc40
4.18.99-1.fc40
2
openssl-libs
1:3.1.1-3.fc40
1:3.1.1-4.fc40
3
sqlite-libs
3.42.0-7.fc39
3.43.0-1.fc40
3
annobin-docs
12.23-1.fc39
12.25-1.fc40
3
rpm-libs
4.18.92-3.fc40
4.18.99-1.fc40
3
libcap-ng
0.8.3-7.fc39
0.8.3-8.fc40
4
fedora-release
40-0.6
40-0.7
B
fedora-release-common
40-0.6
40-0.7
B
rpm-build-libs
4.18.92-3.fc40
4.18.99-1.fc40
B
fedora-release-identity-basic
40-0.6
40-0.7
B
rpm-build
4.18.92-3.fc40
4.18.99-1.fc40
B
redhat-rpm-config
264-1.fc40
265-1.fc40
1
glibc-devel
2.38-1.fc39
2.38.9000-6.fc40
2
glibc
2.38-1.fc39
2.38.9000-6.fc40
2
glibc-headers-x86
2.38-1.fc39
2.38.9000-6.fc40
3
glibc-common
2.38-1.fc39
2.38.9000-6.fc40
3
kernel-headers
6.5.0-0.rc6.git0.1....
6.5.0-1.fc40
3
glibc-minimal-langpack
2.38-1.fc39
2.38.9000-6.fc40
3
glibc-gconv-extra
2.38-1.fc39
2.38.9000-6.fc40
3
rpm-sequoia
1.4.1-2.fc39
1.5.0-1.fc40
4
audit-libs
3.1.2-1.fc39
3.1.2-2.fc40
4
libeconf
0.4.0-6.fc39
0.5.2-1.fc40
B
redhat-rpm-config
263-1.fc40
264-1.fc40
1
rpm
4.18.92-2.fc40
4.18.92-3.fc40
2
binutils
2.40-13.fc39
2.41-5.fc40
2
openssl-libs
1:3.1.1-1.fc39
1:3.1.1-3.fc40
3
rpm-libs
4.18.92-2.fc40
4.18.92-3.fc40
3
binutils-gold
2.40-13.fc39
2.41-5.fc40
3
tzdata
2023c-2.fc39
2023c-3.fc40
3
elfutils-libelf
0.189-4.fc39
0.189-6.fc40
3
elfutils-debuginfod-client
0.189-4.fc39
0.189-6.fc40
3
elfutils-libs
0.189-4.fc39
0.189-6.fc40
4
perl-Mozilla-CA
20230801-1.fc39
20230821-1.fc40
B
rpm-build-libs
4.18.92-2.fc40
4.18.92-3.fc40
B
elfutils-default-yama-scope
0.189-4.fc39
0.189-6.fc40
B
rpm-build
4.18.92-2.fc40
4.18.92-3.fc40
B
perl-URI
5.19-2.fc39
5.21-1.fc40
B
rpmautospec-rpm-macros
0.3.5-4.fc39
elfutils
0.189-4.fc39
0.189-6.fc40
B
redhat-rpm-config
262-1.fc39
263-1.fc40
1
rpm
4.18.92-1.fc39
4.18.92-2.fc40
2
rust-srpm-macros
24-3.fc39
24-5.fc40
2
file
5.44-5.fc39
5.45-1.fc40
2
util-linux
2.39.1-3.fc39
2.39.2-1.fc40
3
rpm-libs
4.18.92-1.fc39
4.18.92-2.fc40
3
kernel-headers
6.5.0-0.rc2.git0.1....
6.5.0-0.rc6.git0.1....
3
file-libs
5.44-5.fc39
5.45-1.fc40
3
libuuid
2.39.1-3.fc39
2.39.2-1.fc40
3
libunistring
1.1-4.fc39
1.1-5.fc40
3
libmount
2.39.1-3.fc39
2.39.2-1.fc40
4
libsmartcols
2.39.1-3.fc39
2.39.2-1.fc40
4
krb5-libs
1.21-3.fc39
1.21.2-1.fc40
4
libxml2
2.10.4-3.fc39
2.11.5-1.fc40
4
libfdisk
2.39.1-3.fc39
2.39.2-1.fc40
4
util-linux-core
2.39.1-3.fc39
2.39.2-1.fc40
4
libblkid
2.39.1-3.fc39
2.39.2-1.fc40
4
fedora-release
40-0.2
40-0.6
B
rpm-build
4.18.92-1.fc39
4.18.92-2.fc40
B
fedora-release-identity-basic
40-0.2
40-0.6
B
tar
2:1.35-1.fc39
2:1.35-2.fc40
B
publicsuffix-list-dafsa
20230614-2.fc39
20230812-1.fc40
B
shadow-utils
2:4.13-8.fc39
2:4.14.0-1.fc40
B
rpm-build-libs
4.18.92-1.fc39
4.18.92-2.fc40
B
fedora-release-common
40-0.2
40-0.6
B
Previous history