ocaml-fmt

Package information

State
ok

Scheduler parameters

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

redhat-rpm-config
343-3.fc43
343-4.fc43
2
gcc
15.0.1-0.14.fc43
15.1.1-1.fc43
2
python3
3.13.3-1.fc43
3.13.3-2.fc43
2
glibc
2.41.9000-10.fc43
2.41.9000-11.fc43
2
cpp
15.0.1-0.14.fc43
15.1.1-1.fc43
3
libgomp
15.0.1-0.14.fc43
15.1.1-1.fc43
3
glibc-devel
2.41.9000-10.fc43
2.41.9000-11.fc43
3
gcc-plugin-annobin
15.0.1-0.14.fc43
15.1.1-1.fc43
3
glibc-common
2.41.9000-10.fc43
2.41.9000-11.fc43
3
glibc-minimal-langpack
2.41.9000-10.fc43
2.41.9000-11.fc43
3
rpm
5.99.90-3.fc43
5.99.90-4.fc43
3
python3-libs
3.13.3-1.fc43
3.13.3-2.fc43
3
libgcc
15.0.1-0.14.fc43
15.1.1-1.fc43
3
glibc-gconv-extra
2.41.9000-10.fc43
2.41.9000-11.fc43
3
tree-sitter-srpm-macros
0.2.2-1.fc43
0.2.4-1.fc43
3
rpm-build
5.99.90-3.fc43
5.99.90-4.fc43
4
python-pip-wheel
25.0.1-3.fc43
25.1-1.fc43
4
libstdc++
15.0.1-0.14.fc43
15.1.1-1.fc43
4
rpm-libs
5.99.90-3.fc43
5.99.90-4.fc43
4
fedora-repos-rawhide
43-0.1
43-0.2
B
rpm-build-libs
5.99.90-3.fc43
5.99.90-4.fc43
B
fedora-release
43-0.13
43-0.15
B
rpm-sign-libs
5.99.90-3.fc43
5.99.90-4.fc43
B
libgpg-error
1.54-1.fc43
1.55-1.fc43
B
fedora-release-common
43-0.13
43-0.15
B
fedora-gpg-keys
43-0.1
43-0.2
B
fedora-release-identity-basic
43-0.13
43-0.15
B
fedora-repos
43-0.1
43-0.2
B
gdb-minimal
16.2-3.fc43
16.3-1.fc43
B
gcc
15.0.1-0.12.fc43
15.0.1-0.14.fc43
2
glibc
2.41.9000-9.fc43
2.41.9000-10.fc43
2
glibc-common
2.41.9000-9.fc43
2.41.9000-10.fc43
3
grep
3.11-10.fc42
3.12-1.fc43
3
gcc-plugin-annobin
15.0.1-0.12.fc43
15.0.1-0.14.fc43
3
glibc-devel
2.41.9000-9.fc43
2.41.9000-10.fc43
3
glibc-minimal-langpack
2.41.9000-9.fc43
2.41.9000-10.fc43
3
qt6-srpm-macros
6.9.0-1.fc43
6.9.0-2.fc43
3
cpp
15.0.1-0.12.fc43
15.0.1-0.14.fc43
3
libgcc
15.0.1-0.12.fc43
15.0.1-0.14.fc43
3
filesystem
3.18-39.fc43
3.18-40.fc43
3
rpm
4.20.1-3.fc43
5.99.90-3.fc43
3
glibc-gconv-extra
2.41.9000-9.fc43
2.41.9000-10.fc43
3
tree-sitter-srpm-macros
0.2.1-1.fc43
0.2.2-1.fc43
3
filesystem-srpm-macros
3.18-39.fc43
3.18-40.fc43
3
libgomp
15.0.1-0.12.fc43
15.0.1-0.14.fc43
3
libcap
2.73-2.fc42
2.76-1.fc43
4
rpm-libs
4.20.1-3.fc43
5.99.90-3.fc43
4
libstdc++
15.0.1-0.12.fc43
15.0.1-0.14.fc43
4
kernel-headers
6.14.0-63.fc43
6.15.0-0.rc2.22.fc43
4
openssl-libs
1:3.5.0-2.fc43
1:3.5.0-3.fc43
4
rpm-build
4.20.1-3.fc43
5.99.90-3.fc43
4
crypto-policies
20250402-1.git86c0178....
20250402-2.git86c0178....
B
gnupg2
2.4.7-3.fc43
B
libassuan
2.5.7-3.fc42
B
tpm2-tss
4.1.3-7.fc43
B
nettle
3.10.1-1.fc43
B
libgcrypt
1.11.0-5.fc42
B
libusb1
1.0.28-2.fc43
B
gnutls
3.8.9-5.fc43
B
libgpg-error
1.54-1.fc43
B
ima-evm-utils-libs
1.6.2-5.fc43
B
rpm-sign-libs
5.99.90-3.fc43
B
libfsverity
1.6-2.fc42
B
npth
1.8-2.fc42
B
libksba
1.6.7-3.fc42
B
rpm-build-libs
4.20.1-3.fc43
5.99.90-3.fc43
B
glibc
2.41.9000-7.fc43
2.41.9000-9.fc43
2
gcc
15.0.1-0.11.fc43
15.0.1-0.12.fc43
2
python3
3.13.2-2.fc43
3.13.3-1.fc43
2
cpp
15.0.1-0.11.fc43
15.0.1-0.12.fc43
3
libgcc
15.0.1-0.11.fc43
15.0.1-0.12.fc43
3
tree-sitter-srpm-macros
0.2.0-1.fc43
0.2.1-1.fc43
3
libgomp
15.0.1-0.11.fc43
15.0.1-0.12.fc43
3
gcc-plugin-annobin
15.0.1-0.11.fc43
15.0.1-0.12.fc43
3
glibc-minimal-langpack
2.41.9000-7.fc43
2.41.9000-9.fc43
3
glibc-devel
2.41.9000-7.fc43
2.41.9000-9.fc43
3
glibc-gconv-extra
2.41.9000-7.fc43
2.41.9000-9.fc43
3
python3-libs
3.13.2-2.fc43
3.13.3-1.fc43
3
glibc-common
2.41.9000-7.fc43
2.41.9000-9.fc43
3
coreutils
9.6-2.fc43
9.7-1.fc43
3
libffi
3.4.7-3.fc43
3.4.7-4.fc43
4
coreutils-common
9.6-2.fc43
9.7-1.fc43
4
libstdc++
15.0.1-0.11.fc43
15.0.1-0.12.fc43
4
systemd-libs
257.4-3.fc43
257.5-2.fc43
4
libxcrypt-devel
4.4.38-6.fc43
4.4.38-7.fc43
4
fedora-release-common
43-0.10
43-0.13
B
systemd-standalone-sysusers
257.4-3.fc43
257.5-2.fc43
B
fedora-release-identity-basic
43-0.10
43-0.13
B
debugedit
5.1-5.fc43
5.1-6.fc43
B
diffutils
3.11-3.fc43
3.12-1.fc43
B
libxcrypt
4.4.38-6.fc43
4.4.38-7.fc43
B
fedora-release
43-0.10
43-0.13
B
gcc
15.0.1-0.10.fc43
15.0.1-0.11.fc43
2
redhat-rpm-config
342-2.fc42
343-3.fc43
2
glibc
2.41.9000-6.fc43
2.41.9000-7.fc43
2
filesystem-srpm-macros
3.18-38.fc43
3.18-39.fc43
3
rpm
4.20.1-1.fc43
4.20.1-3.fc43
3
glibc-minimal-langpack
2.41.9000-6.fc43
2.41.9000-7.fc43
3
glibc-gconv-extra
2.41.9000-6.fc43
2.41.9000-7.fc43
3
gcc-plugin-annobin
15.0.1-0.10.fc43
15.0.1-0.11.fc43
3
libgomp
15.0.1-0.10.fc43
15.0.1-0.11.fc43
3
cpp
15.0.1-0.10.fc43
15.0.1-0.11.fc43
3
filesystem
3.18-38.fc43
3.18-39.fc43
3
glibc-common
2.41.9000-6.fc43
2.41.9000-7.fc43
3
libgcc
15.0.1-0.10.fc43
15.0.1-0.11.fc43
3
glibc-devel
2.41.9000-6.fc43
2.41.9000-7.fc43
3
qt6-srpm-macros
6.9.0~rc-1.fc43
6.9.0-1.fc43
3
curl
8.13.0~rc3-1.fc43
8.13.0-1.fc43
4
expat
2.7.0-1.fc43
2.7.1-1.fc43
4
rpm-libs
4.20.1-1.fc43
4.20.1-3.fc43
4
rpm-build
4.20.1-1.fc43
4.20.1-3.fc43
4
xz-libs
1:5.8.0-1.fc43
1:5.8.1-1.fc43
4
libstdc++
15.0.1-0.10.fc43
15.0.1-0.11.fc43
4
rpm-build-libs
4.20.1-1.fc43
4.20.1-3.fc43
B
fedora-release-identity-basic
43-0.8
43-0.10
B
libcurl
8.13.0~rc3-1.fc43
8.13.0-1.fc43
B
fedora-release-common
43-0.8
43-0.10
B
rpm-sequoia
1.7.0-5.fc43
1.8.0-1.fc43
B
gawk
5.3.1-1.fc42
5.3.2-1.fc43
B
fedora-release
43-0.8
43-0.10
B
crypto-policies
20250324-1.git3714354....
20250402-1.git86c0178....
B
xz
1:5.8.0-1.fc43
1:5.8.1-1.fc43
B
glibc
2.41.9000-2.fc43
2.41.9000-6.fc43
2
glibc-common
2.41.9000-2.fc43
2.41.9000-6.fc43
3
qt6-srpm-macros
6.8.2-2.fc43
6.9.0~rc-1.fc43
3
glibc-minimal-langpack
2.41.9000-2.fc43
2.41.9000-6.fc43
3
python-srpm-macros
3.13-4.fc42
3.13-5.fc43
3
pyproject-srpm-macros
1.17.0-1.fc43
1.18.1-1.fc43
3
go-srpm-macros
3.6.0-6.fc42
3.6.0-7.fc43
3
glibc-gconv-extra
2.41.9000-2.fc43
2.41.9000-6.fc43
3
glibc-devel
2.41.9000-2.fc43
2.41.9000-6.fc43
3
xz-libs
1:5.6.3-3.fc42
1:5.8.0-1.fc43
4
libffi
3.4.7-2.fc43
3.4.7-3.fc43
4
openssl-libs
1:3.2.4-3.fc43
1:3.5.0-2.fc43
4
python-pip-wheel
24.3.1-2.fc42
25.0.1-3.fc43
4
kernel-headers
6.14.0-0.rc7.56.fc43
6.14.0-63.fc43
4
tzdata
2025a-1.fc43
2025b-1.fc43
4
curl
8.13.0~rc2-1.fc43
8.13.0~rc3-1.fc43
4
patch
2.7.6-26.fc42
2.8-1.fc43
B
xz
1:5.6.3-3.fc42
1:5.8.0-1.fc43
B
fedora-release-identity-basic
43-0.7
43-0.8
B
fedora-release-common
43-0.7
43-0.8
B
libcurl
8.13.0~rc2-1.fc43
8.13.0~rc3-1.fc43
B
gdb-minimal
16.2-1.fc43
16.2-3.fc43
B
openldap
2.6.9-3.fc42
2.6.9-5.fc43
B
fedora-release
43-0.7
43-0.8
B
diffutils
3.10-9.fc42
3.11-3.fc43
B
crypto-policies
20250305-1.gita35b0fa....
20250324-1.git3714354....
B
ocaml-topkg-devel
1.0.7-15.fc42
1.0.8-1.fc43
1
gcc
15.0.1-0.9.fc43
15.0.1-0.10.fc43
2
ocaml-topkg
1.0.7-15.fc42
1.0.8-1.fc43
2
gcc-plugin-annobin
15.0.1-0.9.fc43
15.0.1-0.10.fc43
3
cpp
15.0.1-0.9.fc43
15.0.1-0.10.fc43
3
efi-srpm-macros
6-2.fc42
6-3.fc43
3
libgcc
15.0.1-0.9.fc43
15.0.1-0.10.fc43
3
qt5-srpm-macros
5.15.15-1.fc42
5.15.16-1.fc43
3
annobin-plugin-gcc
12.92-1.fc43
12.93-1.fc43
3
libgomp
15.0.1-0.9.fc43
15.0.1-0.10.fc43
3
mpfr
4.2.1-6.fc42
4.2.2-1.fc43
3
openssl-libs
1:3.2.4-2.fc43
1:3.2.4-3.fc43
4
annobin-docs
12.92-1.fc43
12.93-1.fc43
4
kernel-headers
6.14.0-0.rc6.49.fc43
6.14.0-0.rc7.56.fc43
4
libstdc++
15.0.1-0.9.fc43
15.0.1-0.10.fc43
4
libarchive
3.7.7-3.fc43
3.7.7-4.fc43
4
curl
8.13.0~rc1-1.fc43
8.13.0~rc2-1.fc43
4
expat
2.6.4-2.fc42
2.7.0-1.fc43
4
alternatives
1.31-3.fc42
1.32-1.fc43
4
setup
2.15.0-14.fc43
2.15.0-23.fc43
4
libcurl
8.13.0~rc1-1.fc43
8.13.0~rc2-1.fc43
B
fedora-release-common
43-0.6
43-0.7
B
shadow-utils
2:4.17.0-4.fc42
2:4.17.4-1.fc43
B
fedora-release
43-0.6
43-0.7
B
libxml2
2.12.9-2.fc42
2.12.10-1.fc43
B
fedora-release-identity-basic
43-0.6
43-0.7
B
tree-sitter-srpm-macros
0.1.0-10.fc43
0.2.0-1.fc43
3
libffi
3.4.7-1.fc43
3.4.7-2.fc43
4
readline
8.2-12.fc42
8.2-13.fc43
4
kernel-headers
6.14.0-0.rc5.43.fc43
6.14.0-0.rc6.49.fc43
4
systemd-libs
257.3-7.fc43
257.4-3.fc43
4
setup
2.15.0-12.fc43
2.15.0-14.fc43
4
curl
8.12.1-1.fc43
8.13.0~rc1-1.fc43
4
libidn2
2.3.7-3.fc42
2.3.8-1.fc43
B
crypto-policies
20250214-1.gitff7551b....
20250305-1.gita35b0fa....
B
systemd-standalone-sysusers
257.3-7.fc43
257.4-3.fc43
B
libcurl
8.12.1-1.fc43
8.13.0~rc1-1.fc43
B
glibc
2.40.9000-37.fc43
2.41.9000-2.fc43
2
gcc
15.0.1-0.7.fc43
15.0.1-0.9.fc43
2
glibc-devel
2.40.9000-37.fc43
2.41.9000-2.fc43
3
gcc-plugin-annobin
15.0.1-0.7.fc43
15.0.1-0.9.fc43
3
libgomp
15.0.1-0.7.fc43
15.0.1-0.9.fc43
3
glibc-common
2.40.9000-37.fc43
2.41.9000-2.fc43
3
annobin-plugin-gcc
12.88-1.fc42
12.92-1.fc43
3
libgcc
15.0.1-0.7.fc43
15.0.1-0.9.fc43
3
util-linux
2.40.4-6.fc43
2.40.4-7.fc43
3
zlib-ng-compat
2.2.4-1.fc43
2.2.4-2.fc43
3
coreutils
9.6-1.fc42
9.6-2.fc43
3
glibc-gconv-extra
2.40.9000-37.fc43
2.41.9000-2.fc43
3
rpm
4.20.0-8.fc42
4.20.1-1.fc43
3
glibc-minimal-langpack
2.40.9000-37.fc43
2.41.9000-2.fc43
3
cpp
15.0.1-0.7.fc43
15.0.1-0.9.fc43
3
tree-sitter-srpm-macros
0.1.0-8.fc42
0.1.0-10.fc43
3
libfdisk
2.40.4-6.fc43
2.40.4-7.fc43
4
libsmartcols
2.40.4-6.fc43
2.40.4-7.fc43
4
kernel-headers
6.14.0-0.rc3.29.fc43
6.14.0-0.rc5.43.fc43
4
libblkid
2.40.4-6.fc43
2.40.4-7.fc43
4
rpm-build
4.20.0-8.fc42
4.20.1-1.fc43
4
libuuid
2.40.4-6.fc43
2.40.4-7.fc43
4
util-linux-core
2.40.4-6.fc43
2.40.4-7.fc43
4
libstdc++
15.0.1-0.7.fc43
15.0.1-0.9.fc43
4
annobin-docs
12.88-1.fc42
12.92-1.fc43
4
libffi
3.4.6-5.fc42
3.4.7-1.fc43
4
libarchive
3.7.7-2.fc42
3.7.7-3.fc43
4
coreutils-common
9.6-1.fc42
9.6-2.fc43
4
libmount
2.40.4-6.fc43
2.40.4-7.fc43
4
openssl-libs
1:3.2.4-1.fc43
1:3.2.4-2.fc43
4
rpm-libs
4.20.0-8.fc42
4.20.1-1.fc43
4
lua-libs
5.4.7-2.fc42
5.4.7-3.fc43
B
rpm-build-libs
4.20.0-8.fc42
4.20.1-1.fc43
B
fedora-release-identity-basic
43-0.5
43-0.6
B
libnghttp2
1.64.0-3.fc42
1.65.0-1.fc43
B
fedora-release
43-0.5
43-0.6
B
debugedit
5.1-4.fc42
5.1-5.fc43
B
fedora-release-common
43-0.5
43-0.6
B
Previous history