ocaml-ppx-stable-witness

Package information

State
ok
Packages
Bodhi
Dist-git
Bugzilla
Koji
File new FTBFS bug

Scheduler parameters

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

State overview

Groups

This package is not part of any global group.

Most recent builds

complete
131152634
2025-04-05 20:28:19
aarch64
├131152751 ( build.log | root.log )
ppc64le
├131152750 ( build.log | root.log )
x86_64
└131152749 ( build.log | root.log )
ocaml-dune
3.17.2-1.fc42
3.18.0-1.fc43
1
redhat-rpm-config
342-2.fc42
343-3.fc43
2
glibc
2.41.9000-6.fc43
2.41.9000-8.fc43
2
rpm
4.20.1-1.fc43
4.20.1-3.fc43
3
glibc-minimal-langpack
2.41.9000-6.fc43
2.41.9000-8.fc43
3
glibc-gconv-extra
2.41.9000-6.fc43
2.41.9000-8.fc43
3
filesystem
3.18-38.fc43
3.18-39.fc43
3
glibc-common
2.41.9000-6.fc43
2.41.9000-8.fc43
3
glibc-devel
2.41.9000-6.fc43
2.41.9000-8.fc43
3
qt6-srpm-macros
6.9.0~rc-1.fc43
6.9.0-1.fc43
3
filesystem-srpm-macros
3.18-38.fc43
3.18-39.fc43
3
libxcrypt-devel
4.4.38-6.fc43
4.4.38-7.fc43
4
rpm-build
4.20.1-1.fc43
4.20.1-3.fc43
4
rpm-libs
4.20.1-1.fc43
4.20.1-3.fc43
4
curl
8.13.0~rc3-1.fc43
8.13.0-1.fc43
4
libcurl
8.13.0~rc3-1.fc43
8.13.0-1.fc43
B
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
fedora-release-common
43-0.8
43-0.10
B
libxcrypt
4.4.38-6.fc43
4.4.38-7.fc43
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
crypto-policies
20250324-1.git3714354....
20250402-1.git86c0178....
B
xz
1:5.8.0-1.fc43
1:5.8.1-1.fc43
B
xz-libs
1:5.8.0-1.fc43
1:5.8.1-1.fc43
B
fedora-release
43-0.8
43-0.10
B
libffi
3.4.7-3.fc43
3.4.7-4.fc43
B
complete
130938626
2025-03-31 10:18:19
aarch64
├130938716 ( build.log | root.log )
ppc64le
├130938715 ( build.log | root.log )
x86_64
└130938714 ( build.log | root.log )
gcc
15.0.1-0.10.fc43
15.0.1-0.11.fc43
2
glibc
2.41.9000-2.fc43
2.41.9000-6.fc43
2
cpp
15.0.1-0.10.fc43
15.0.1-0.11.fc43
3
qt6-srpm-macros
6.8.2-2.fc43
6.9.0~rc-1.fc43
3
go-srpm-macros
3.6.0-6.fc42
3.6.0-7.fc43
3
glibc-devel
2.41.9000-2.fc43
2.41.9000-6.fc43
3
glibc-gconv-extra
2.41.9000-2.fc43
2.41.9000-6.fc43
3
glibc-minimal-langpack
2.41.9000-2.fc43
2.41.9000-6.fc43
3
glibc-common
2.41.9000-2.fc43
2.41.9000-6.fc43
3
python-srpm-macros
3.13-4.fc42
3.13-5.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
pyproject-srpm-macros
1.17.0-1.fc43
1.18.1-1.fc43
3
libgcc
15.0.1-0.10.fc43
15.0.1-0.11.fc43
3
openssl-libs
1:3.2.4-3.fc43
1:3.5.0-2.fc43
4
curl
8.13.0~rc2-1.fc43
8.13.0~rc3-1.fc43
4
kernel-headers
6.14.0-0.rc7.56.fc43
6.14.0-63.fc43
4
libstdc++
15.0.1-0.10.fc43
15.0.1-0.11.fc43
4
python-pip-wheel
24.3.1-2.fc42
25.0.1-3.fc43
B
fedora-release
43-0.7
43-0.8
B
openldap
2.6.9-3.fc42
2.6.9-5.fc43
B
crypto-policies
20250305-1.gita35b0fa....
20250324-1.git3714354....
B
tzdata
2025a-1.fc43
2025b-1.fc43
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
expat
2.7.0-1.fc43
2.7.1-1.fc43
B
libffi
3.4.7-2.fc43
3.4.7-3.fc43
B
fedora-release-identity-basic
43-0.7
43-0.8
B
gdb-minimal
16.2-1.fc43
16.2-3.fc43
B
xz-libs
1:5.6.3-3.fc42
1:5.8.0-1.fc43
B
patch
2.7.6-26.fc42
2.8-1.fc43
B
diffutils
3.10-9.fc42
3.11-3.fc43
B
xz
1:5.6.3-3.fc42
1:5.8.0-1.fc43
B
complete
130544389
2025-03-21 00:00:43
aarch64
├130544493 ( build.log | root.log )
ppc64le
├130544492 ( build.log | root.log )
x86_64
└130544491 ( build.log | root.log )
gcc
15.0.1-0.9.fc43
15.0.1-0.10.fc43
2
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
annobin-plugin-gcc
12.92-1.fc43
12.93-1.fc43
3
tree-sitter-srpm-macros
0.1.0-10.fc43
0.2.0-1.fc43
3
qt5-srpm-macros
5.15.15-1.fc42
5.15.16-1.fc43
3
libgcc
15.0.1-0.9.fc43
15.0.1-0.10.fc43
3
efi-srpm-macros
6-2.fc42
6-3.fc43
3
cpp
15.0.1-0.9.fc43
15.0.1-0.10.fc43
3
gcc-plugin-annobin
15.0.1-0.9.fc43
15.0.1-0.10.fc43
3
openssl-libs
1:3.2.4-2.fc43
1:3.2.4-3.fc43
4
kernel-headers
6.14.0-0.rc5.43.fc43
6.14.0-0.rc7.56.fc43
4
annobin-docs
12.92-1.fc43
12.93-1.fc43
4
readline
8.2-12.fc42
8.2-13.fc43
4
systemd-libs
257.3-7.fc43
257.4-3.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
setup
2.15.0-12.fc43
2.15.0-23.fc43
4
curl
8.12.1-1.fc43
8.13.0~rc2-1.fc43
4
alternatives
1.31-3.fc42
1.32-1.fc43
4
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
crypto-policies
20250214-1.gitff7551b....
20250305-1.gita35b0fa....
B
systemd-standalone-sysusers
257.3-7.fc43
257.4-3.fc43
B
expat
2.6.4-2.fc42
2.7.0-1.fc43
B
libffi
3.4.7-1.fc43
3.4.7-2.fc43
B
libcurl
8.12.1-1.fc43
8.13.0~rc2-1.fc43
B
libidn2
2.3.7-3.fc42
2.3.8-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
complete
129825952
2025-03-05 03:27:39
aarch64
├129826041 ( build.log | root.log )
ppc64le
├129826040 ( build.log | root.log )
x86_64
└129826038 ( build.log | root.log )
gcc
15.0.1-0.7.fc43
15.0.1-0.9.fc43
2
glibc
2.41.9000-1.fc43
2.41.9000-2.fc43
2
rpm
4.20.0-8.fc42
4.20.1-1.fc43
3
coreutils
9.6-1.fc42
9.6-2.fc43
3
zlib-ng-compat
2.2.4-1.fc43
2.2.4-2.fc43
3
util-linux
2.40.4-6.fc43
2.40.4-7.fc43
3
annobin-plugin-gcc
12.88-1.fc42
12.92-1.fc43
3
glibc-gconv-extra
2.41.9000-1.fc43
2.41.9000-2.fc43
3
libgomp
15.0.1-0.7.fc43
15.0.1-0.9.fc43
3
glibc-devel
2.41.9000-1.fc43
2.41.9000-2.fc43
3
gcc-plugin-annobin
15.0.1-0.7.fc43
15.0.1-0.9.fc43
3
glibc-minimal-langpack
2.41.9000-1.fc43
2.41.9000-2.fc43
3
tree-sitter-srpm-macros
0.1.0-8.fc42
0.1.0-10.fc43
3
cpp
15.0.1-0.7.fc43
15.0.1-0.9.fc43
3
libgcc
15.0.1-0.7.fc43
15.0.1-0.9.fc43
3
glibc-common
2.41.9000-1.fc43
2.41.9000-2.fc43
3
libuuid
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
annobin-docs
12.88-1.fc42
12.92-1.fc43
4
rpm-libs
4.20.0-8.fc42
4.20.1-1.fc43
4
libfdisk
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
libarchive
3.7.7-2.fc42
3.7.7-3.fc43
4
coreutils-common
9.6-1.fc42
9.6-2.fc43
4
libsmartcols
2.40.4-6.fc43
2.40.4-7.fc43
4
libmount
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
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
debugedit
5.1-4.fc42
5.1-5.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
libffi
3.4.6-5.fc42
3.4.7-1.fc43
B
lua-libs
5.4.7-2.fc42
5.4.7-3.fc43
B
fedora-release-common
43-0.5
43-0.6
B
complete
129559867
2025-02-23 19:34:25
aarch64
├129559963 ( build.log | root.log )
ppc64le
├129559965 ( build.log | root.log )
x86_64
└129559964 ( build.log | root.log )
libzstd
1.5.6-3.fc42
1.5.7-1.fc43
2
libzstd-devel
1.5.6-3.fc42
1.5.7-1.fc43
2
glibc
2.40.9000-37.fc43
2.41.9000-1.fc43
2
glibc-devel
2.40.9000-37.fc43
2.41.9000-1.fc43
3
zlib-ng-compat
2.2.3-2.fc42
2.2.4-1.fc43
3
qt6-srpm-macros
6.8.2-1.fc42
6.8.2-2.fc43
3
glibc-minimal-langpack
2.40.9000-37.fc43
2.41.9000-1.fc43
3
glibc-gconv-extra
2.40.9000-37.fc43
2.41.9000-1.fc43
3
gmp
1:6.3.0-2.fc41
1:6.3.0-3.fc43
3
bash
5.2.37-1.fc42
5.2.37-3.fc43
3
glibc-common
2.40.9000-37.fc43
2.41.9000-1.fc43
3
curl
8.12.0-1.fc43
8.12.1-1.fc43
4
openssl-libs
1:3.2.2-14.fc42
1:3.2.4-1.fc43
4
systemd-libs
257.2-17.fc42
257.3-7.fc43
4
libxcrypt-devel
4.4.38-4.fc43
4.4.38-6.fc43
4
pcre2
10.44-1.fc43.2
10.45-1.fc43
4
kernel-headers
6.14.0-0.rc2.22.fc43
6.14.0-0.rc3.29.fc43
4
authselect
1.5.1-1.fc43
libxcrypt
4.4.38-4.fc43
4.4.38-6.fc43
B
libtirpc
1.3.6-1.rc3.fc42.2
fedora-release-common
43-0.2
43-0.5
B
systemd-pam
257.2-17.fc42
fedora-release
43-0.2
43-0.5
B
libpwquality
1.4.5-12.fc42
dbus-broker
36-5.fc42
fedora-release-identity-basic
43-0.2
43-0.5
B
cracklib
2.9.11-7.fc42
systemd-rpm-macros
257.2-17.fc42
libnsl2
2.0.1-3.fc42
pam
1.7.0-4.fc42
authselect-libs
1.5.1-1.fc43
gdbm
1:1.23-9.fc42
dbus
1:1.16.0-3.fc42
crypto-policies
20250124-1.git4d262e7....
20250214-1.gitff7551b....
B
systemd
257.2-17.fc42
pcre2-syntax
10.44-1.fc43.2
10.45-1.fc43
B
libcurl
8.12.0-1.fc43
8.12.1-1.fc43
B
zstd
1.5.6-3.fc42
1.5.7-1.fc43
B
dbus-common
1:1.16.0-3.fc42
libseccomp
2.5.5-2.fc41
systemd-standalone-sysusers
257.3-7.fc43
B
Real build: ocaml-ppx-stable-witness-0.17.0-6.fc43
complete
129176589
2025-02-12 15:47:02
aarch64
├129176637 ( build.log | root.log )
ppc64le
├129176638 ( build.log | root.log )
s390x
├129176639 ( build.log | root.log )
x86_64
└129176636 ( build.log | root.log )
ocaml-ppxlib-devel
1:0.34.0-2.fc42
1:0.35.0-1.fc43
1
ocaml-ppxlib-tools
1:0.34.0-2.fc42
1:0.35.0-1.fc43
2
ocaml-ppxlib
1:0.34.0-2.fc42
1:0.35.0-1.fc43
2
build-reproducibility-srpm-macros
0.5.0-2.fc42
0.6.0-1.fc43
3
util-linux
2.40.4-5.fc43
2.40.4-6.fc43
3
setup
2.15.0-10.fc42
2.15.0-12.fc43
4
libuuid
2.40.4-5.fc43
2.40.4-6.fc43
4
libblkid
2.40.4-5.fc43
2.40.4-6.fc43
4
add-determinism
0.5.0-2.fc42
0.6.0-1.fc43
4
kernel-headers
6.14.0-0.rc1.15.fc42
6.14.0-0.rc2.22.fc43
4
util-linux-core
2.40.4-5.fc43
2.40.4-6.fc43
4
libmount
2.40.4-5.fc43
2.40.4-6.fc43
4
libfdisk
2.40.4-5.fc43
2.40.4-6.fc43
4
libsmartcols
2.40.4-5.fc43
2.40.4-6.fc43
4
gdb-minimal
15.2-7.fc42
16.2-1.fc43
B
libeconf
0.7.5-2.fc42
0.7.6-1.fc43
B
libtasn1
4.19.0-11.fc42
4.20.0-1.fc43
B
complete
128989600
2025-02-08 13:36:00
aarch64
├128989691 ( build.log | root.log )
ppc64le
├128989692 ( build.log | root.log )
x86_64
└128989690 ( build.log | root.log )
gcc
15.0.1-0.4.fc42
15.0.1-0.7.fc43
2
glibc
2.40.9000-35.fc42
2.40.9000-37.fc43
2
redhat-rpm-config
300-1.fc42
342-2.fc42
2
cpp
15.0.1-0.4.fc42
15.0.1-0.7.fc43
3
file
5.45-9.fc42
5.46-1.fc42
3
annobin-plugin-gcc
12.87-1.fc42
12.88-1.fc42
3
glibc-gconv-extra
2.40.9000-35.fc42
2.40.9000-37.fc43
3
pyproject-srpm-macros
1.16.4-2.fc42
1.17.0-1.fc43
3
util-linux
2.40.4-2.fc42
2.40.4-5.fc43
3
libgomp
15.0.1-0.4.fc42
15.0.1-0.7.fc43
3
libgcc
15.0.1-0.4.fc42
15.0.1-0.7.fc43
3
binutils
2.43.50-12.fc42
2.44-3.fc43
3
python3
3.13.1-3.fc42
3.13.2-2.fc43
3
glibc-common
2.40.9000-35.fc42
2.40.9000-37.fc43
3
glibc-devel
2.40.9000-35.fc42
2.40.9000-37.fc43
3
filesystem-srpm-macros
3.18-36.fc42
3.18-38.fc43
3
filesystem
3.18-36.fc42
3.18-38.fc43
3
gcc-plugin-annobin
15.0.1-0.4.fc42
15.0.1-0.7.fc43
3
glibc-minimal-langpack
2.40.9000-35.fc42
2.40.9000-37.fc43
3
qt6-srpm-macros
6.8.1-5.fc42
6.8.2-1.fc42
3
tree-sitter-srpm-macros
0.1.0-8.fc42
3
libfdisk
2.40.4-2.fc42
2.40.4-5.fc43
4
authselect-libs
1.5.0-9.fc42
1.5.1-1.fc43
4
libblkid
2.40.4-2.fc42
2.40.4-5.fc43
4
python3-libs
3.13.1-3.fc42
3.13.2-2.fc43
4
annobin-docs
12.87-1.fc42
12.88-1.fc42
4
curl
8.11.1-3.fc42
8.12.0-1.fc43
4
libsmartcols
2.40.4-2.fc42
2.40.4-5.fc43
4
libxcrypt-devel
4.4.38-4.fc42
4.4.38-4.fc43
4
kernel-headers
6.13.0-62.fc42
6.14.0-0.rc1.15.fc42
4
libuuid
2.40.4-2.fc42
2.40.4-5.fc43
4
pcre2
10.44-1.fc42.2
10.44-1.fc43.2
4
libstdc++
15.0.1-0.4.fc42
15.0.1-0.7.fc43
4
libmount
2.40.4-2.fc42
2.40.4-5.fc43
4
file-libs
5.45-9.fc42
5.46-1.fc42
4
util-linux-core
2.40.4-2.fc42
2.40.4-5.fc43
4
pcre2-syntax
10.44-1.fc42.2
10.44-1.fc43.2
B
fedora-gpg-keys
42-0.4
43-0.1
B
fedora-repos
42-0.4
43-0.1
B
mpdecimal
2.5.1-17.fc42
4.0.0-2.fc43
B
tzdata
2024b-2.fc42
2025a-1.fc43
B
sqlite-libs
3.47.2-2.fc42
3.49.0-1.fc43
B
fedora-release-common
42-0.16
43-0.2
B
libxcrypt
4.4.38-4.fc42
4.4.38-4.fc43
B
authselect
1.5.0-9.fc42
1.5.1-1.fc43
B
fedora-release
42-0.16
43-0.2
B
basesystem
11-22.fc42
rpm-sequoia
1.7.0-4.fc42
1.7.0-5.fc43
B
which
2.22-1.fc42
2.23-1.fc42
B
fedora-release-identity-basic
42-0.16
43-0.2
B
fedora-repos-rawhide
42-0.4
43-0.1
B
libcurl
8.11.1-3.fc42
8.12.0-1.fc43
B
complete
128676924
2025-01-31 09:50:20
aarch64
├128677058 ( build.log | root.log )
ppc64le
├128677059 ( build.log | root.log )
x86_64
└128677060 ( build.log | root.log )
ocaml-dune
3.17.1-2.fc42
3.17.2-1.fc42
1
glibc
2.40.9000-31.fc42
2.40.9000-35.fc42
2
gcc
15.0.1-0.3.fc42.1
15.0.1-0.4.fc42
2
glibc-gconv-extra
2.40.9000-31.fc42
2.40.9000-35.fc42
3
cpp
15.0.1-0.3.fc42.1
15.0.1-0.4.fc42
3
libgomp
15.0.1-0.3.fc42.1
15.0.1-0.4.fc42
3
gcc-plugin-annobin
15.0.1-0.3.fc42.1
15.0.1-0.4.fc42
3
glibc-common
2.40.9000-31.fc42
2.40.9000-35.fc42
3
fonts-srpm-macros
1:2.0.5-20.fc42
1:2.0.5-21.fc42
3
annobin-plugin-gcc
12.83-1.fc42
12.87-1.fc42
3
glibc-minimal-langpack
2.40.9000-31.fc42
2.40.9000-35.fc42
3
libgcc
15.0.1-0.3.fc42.1
15.0.1-0.4.fc42
3
glibc-devel
2.40.9000-31.fc42
2.40.9000-35.fc42
3
libcap
2.71-2.fc42
2.73-2.fc42
4
annobin-docs
12.83-1.fc42
12.87-1.fc42
4
openssl-libs
1:3.2.2-12.fc42
1:3.2.2-14.fc42
4
libselinux
3.8-0.rc3.1.fc42.3
3.8-1.fc42
4
ncurses-libs
6.5-2.20240629.fc41
6.5-5.20250125.fc42
4
systemd-libs
257.2-14.fc42
257.2-17.fc42
4
libstdc++
15.0.1-0.3.fc42.1
15.0.1-0.4.fc42
4
gdbm-libs
1:1.23-7.fc41
1:1.23-9.fc42
B
systemd-rpm-macros
257.2-14.fc42
257.2-17.fc42
B
krb5-libs
1.21.3-4.fc42
1.21.3-5.fc42
B
libnghttp2
1.64.0-1.fc42
1.64.0-3.fc42
B
which
2.21-43.fc42
2.22-1.fc42
B
fedora-release
42-0.13
42-0.16
B
libsepol
3.8-0.rc3.1.fc42.1
3.8-1.fc42
B
gawk
5.3.0-4.fc41
5.3.1-1.fc42
B
systemd-pam
257.2-14.fc42
257.2-17.fc42
B
ncurses-base
6.5-2.20240629.fc41
6.5-5.20250125.fc42
B
openldap
2.6.9-2.fc42
2.6.9-3.fc42
B
libsemanage
3.8-0.rc3.1.fc42.1
3.8-1.fc42
B
cyrus-sasl-lib
2.1.28-28.fc42
2.1.28-30.fc42
B
fedora-release-identity-basic
42-0.13
42-0.16
B
gdbm
1:1.23-7.fc41
1:1.23-9.fc42
B
crypto-policies
20241128-2.gitbb7b0b0....
20250124-1.git4d262e7....
B
fedora-release-common
42-0.13
42-0.16
B
systemd
257.2-14.fc42
257.2-17.fc42
B
Previous history
Koschei version 2afbb17
Authors: Michael Simacek, Mikolaj Izdebski
Copyright © 2014-2018 Red Hat Inc.
User documentation
Project page on GitHub
Reporting issues