prooftree

Package information

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

Scheduler parameters

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

gcc
14.0.1-0.16.fc41
14.1.1-1.fc41
2
mpfr
4.2.1-3.fc40
4.2.1-4.fc41
3
libgcc
14.0.1-0.16.fc41
14.1.1-1.fc41
3
libgomp
14.0.1-0.16.fc41
14.1.1-1.fc41
3
gcc-plugin-annobin
14.0.1-0.16.fc41
14.1.1-1.fc41
3
annobin-plugin-gcc
12.52-1.fc41
12.53-2.fc41
3
glib2-devel
2.80.1-3.fc41
2.80.2-1.fc41
3
glib2
2.80.1-3.fc41
2.80.2-1.fc41
3
cpp
14.0.1-0.16.fc41
14.1.1-1.fc41
3
systemd-libs
255.5-1.fc41
256~rc1^20240509git1781de1-2.fc41
4
annobin-docs
12.52-1.fc41
12.53-2.fc41
4
libstdc++
14.0.1-0.16.fc41
14.1.1-1.fc41
4
fedora-release
41-0.9
41-0.10
B
fedora-release-common
41-0.9
41-0.10
B
libevent
2.1.12-12.fc40
2.1.12-13.fc41
B
fedora-release-identity-basic
41-0.9
41-0.10
B

State overview

Groups

This package is not part of any global group.

Historical builds

Real build: prooftree-0.13-29.fc40
complete
110507533
2023-12-18 14:13:48
aarch64
├110507625 ( build.log | root.log )
ppc64le
├110507627 ( build.log | root.log )
s390x
├110507629 ( build.log | root.log )
x86_64
└110507624 ( build.log | root.log )
ocaml-lablgtk-devel
2.18.13-8.fc40
2.18.13-9.fc40
1
ocaml-findlib
1.9.6-7.fc40
1.9.6-8.fc40
1
ocaml-ocamldoc
5.1.1-1.fc40
5.1.1-2.fc40
1
ocaml
5.1.1-1.fc40
5.1.1-2.fc40
1
ocaml-compiler-libs
5.1.1-1.fc40
5.1.1-2.fc40
2
ocaml-runtime
5.1.1-1.fc40
5.1.1-2.fc40
2
ocaml-lablgtk
2.18.13-8.fc40
2.18.13-9.fc40
2
rpm
4.19.1-1.fc40
4.19.1-2.fc40
3
librsvg2
2.57.0-3.fc40
2.57.1-1.fc40
3
rpm-build
4.19.1-1.fc40
4.19.1-2.fc40
4
rsvg-pixbuf-loader
2.57.0-3.fc40
2.57.1-1.fc40
4
cups-libs
1:2.4.7-4.fc40
1:2.4.7-5.fc40
4
pam-libs
1.5.3-8.fc40
1.5.3-9.fc40
4
systemd-libs
255-1.fc40
255.1-1.fc40
4
pam
1.5.3-8.fc40
1.5.3-9.fc40
4
kernel-headers
6.7.0-0.rc5.41.fc40
6.7.0-0.rc6.48.fc40
4
rpm-libs
4.19.1-1.fc40
4.19.1-2.fc40
4
dbus-broker
33-2.fc39
34-1.fc40
B
rpm-build-libs
4.19.1-1.fc40
4.19.1-2.fc40
B
complete
110386070
2023-12-15 17:07:56
aarch64
├110386286 ( build.log | root.log )
ppc64le
├110386288 ( build.log | root.log )
x86_64
└110386287 ( build.log | root.log )
glibc
2.38.9000-26.fc40
2.38.9000-28.fc40
2
annobin-plugin-gcc
12.33-1.fc40
12.34-1.fc40
3
glibc-devel
2.38.9000-26.fc40
2.38.9000-28.fc40
3
glibc-gconv-extra
2.38.9000-26.fc40
2.38.9000-28.fc40
3
glibc-common
2.38.9000-26.fc40
2.38.9000-28.fc40
3
rpm
4.19.0-3.fc40
4.19.1-1.fc40
3
glibc-minimal-langpack
2.38.9000-26.fc40
2.38.9000-28.fc40
3
binutils
2.41-16.fc40
2.41-17.fc40
3
pyproject-srpm-macros
1.10.0-1.fc40
1.11.0-1.fc40
3
rpm-build
4.19.0-3.fc40
4.19.1-1.fc40
4
rpm-libs
4.19.0-3.fc40
4.19.1-1.fc40
4
libselinux-devel
3.6-0.rc2.1.fc40
3.6-1.fc40
4
glibc-headers-x86
2.38.9000-26.fc40
2.38.9000-28.fc40
4
libxml2
2.12.2-2.fc40
2.12.3-1.fc40
4
libselinux
3.6-0.rc2.1.fc40
3.6-1.fc40
4
binutils-gold
2.41-16.fc40
2.41-17.fc40
4
annobin-docs
12.33-1.fc40
12.34-1.fc40
4
libsepol-devel
3.6-0.rc2.1.fc40
3.6-1.fc40
B
tzdata
2023c-4.fc40
2023c-5.fc40
B
libicu
73.2-2.fc39
73.2-3.fc40
B
rpm-build-libs
4.19.0-3.fc40
4.19.1-1.fc40
B
keyutils-libs
1.6.1-7.fc39
1.6.3-1.fc40
B
libsemanage
3.6-0.rc2.1.fc40
3.6-1.fc40
B
libicu-devel
73.2-2.fc39
73.2-3.fc40
B
libxml2-devel
2.12.2-2.fc40
2.12.3-1.fc40
B
libsepol
3.6-0.rc2.1.fc40
3.6-1.fc40
B
Real build: prooftree-0.13-28.fc40
complete
110237806
2023-12-12 15:04:51
aarch64
├110238071 ( build.log | root.log )
ppc64le
├110238072 ( build.log | root.log )
s390x
├110238073 ( build.log | root.log )
x86_64
└110238070 ( build.log | root.log )
ocaml-ocamldoc
5.1.0-5.fc40
5.1.1-1.fc40
1
ocaml-lablgtk-devel
2.18.13-7.fc40
2.18.13-8.fc40
1
ocaml-findlib
1.9.6-6.fc40
1.9.6-7.fc40
1
ocaml
5.1.0-5.fc40
5.1.1-1.fc40
1
ocaml-runtime
5.1.0-5.fc40
5.1.1-1.fc40
2
ocaml-compiler-libs
5.1.0-5.fc40
5.1.1-1.fc40
2
ocaml-lablgtk
2.18.13-7.fc40
2.18.13-8.fc40
2
complete
110205564
2023-12-11 22:22:22
aarch64
├110205806 ( build.log | root.log )
ppc64le
├110205807 ( build.log | root.log )
x86_64
└110205805 ( build.log | root.log )
gcc
13.2.1-5.fc40
13.2.1-6.fc40
2
binutils
2.41-15.fc40
2.41-16.fc40
3
python3
3.12.0-2.fc40
3.12.1-1.fc40
3
libgcc
13.2.1-5.fc40
13.2.1-6.fc40
3
annobin-plugin-gcc
12.32-1.fc40
12.33-1.fc40
3
glib2-devel
2.78.1-1.fc40
2.78.3-1.fc40
3
python-srpm-macros
3.12-4.fc40
3.12-5.fc40
3
libgomp
13.2.1-5.fc40
13.2.1-6.fc40
3
glib2
2.78.1-1.fc40
2.78.3-1.fc40
3
cpp
13.2.1-5.fc40
13.2.1-6.fc40
3
gcc-plugin-annobin
13.2.1-5.fc40
13.2.1-6.fc40
3
forge-srpm-macros
0.1.0-1.fc40
0.2.0-1.fc40
3
curl
8.4.0-1.fc40
8.5.0-1.fc40
4
shared-mime-info
2.3-1.fc40
2.3-2.fc40
4
annobin-docs
12.32-1.fc40
12.33-1.fc40
4
libxml2
2.12.1-1.fc40
2.12.2-2.fc40
4
kernel-headers
6.7.0-0.rc4.35.fc40
6.7.0-0.rc5.41.fc40
4
cups-libs
1:2.4.7-3.fc40
1:2.4.7-4.fc40
4
binutils-gold
2.41-15.fc40
2.41-16.fc40
4
python3-libs
3.12.0-2.fc40
3.12.1-1.fc40
4
systemd-libs
255~rc4-3.fc40
255-1.fc40
4
libstdc++
13.2.1-5.fc40
13.2.1-6.fc40
4
sqlite-libs
3.44.1-1.fc40
3.44.2-1.fc40
B
libxml2-devel
2.12.1-1.fc40
2.12.2-2.fc40
B
libcurl
8.4.0-1.fc40
8.5.0-1.fc40
B
gdb-minimal
13.2-12.fc40
14.1-1.fc40
B
complete
109918406
2023-12-04 23:04:50
aarch64
├109918481 ( build.log | root.log )
ppc64le
├109918482 ( build.log | root.log )
x86_64
└109918480 ( build.log | root.log )
glibc
2.38.9000-22.fc40
2.38.9000-26.fc40
2
rpm
4.19.0-2.fc40
4.19.0-3.fc40
3
glibc-gconv-extra
2.38.9000-22.fc40
2.38.9000-26.fc40
3
glibc-minimal-langpack
2.38.9000-22.fc40
2.38.9000-26.fc40
3
glibc-devel
2.38.9000-22.fc40
2.38.9000-26.fc40
3
binutils
2.41-14.fc40
2.41-15.fc40
3
qt6-srpm-macros
6.6.0-1.fc40
6.6.1-1.fc40
3
glibc-common
2.38.9000-22.fc40
2.38.9000-26.fc40
3
annobin-plugin-gcc
12.31-1.fc40
12.32-1.fc40
3
gnutls
3.8.1-3.fc40
3.8.2-2.fc40
4
rpm-libs
4.19.0-2.fc40
4.19.0-3.fc40
4
systemd-libs
255~rc2-1.fc40
255~rc4-3.fc40
4
binutils-gold
2.41-14.fc40
2.41-15.fc40
4
elfutils-debuginfod-client
0.190-2.fc40
0.190-4.fc40
4
annobin-docs
12.31-1.fc40
12.32-1.fc40
4
libxml2
2.12.0-1.fc40
2.12.1-1.fc40
4
setup
2.14.4-1.fc39
2.14.5-1.fc40
4
rpm-build
4.19.0-2.fc40
4.19.0-3.fc40
4
elfutils-libelf
0.190-2.fc40
0.190-4.fc40
4
glibc-headers-x86
2.38.9000-22.fc40
2.38.9000-26.fc40
4
libacl
2.3.1-10.fc40
2.3.1-11.fc40
4
libselinux
3.6-0.rc1.1.fc40
3.6-0.rc2.1.fc40
4
kernel-headers
6.7.0-0.rc2.git0.1....
6.7.0-0.rc4.35.fc40
4
libselinux-devel
3.6-0.rc1.1.fc40
3.6-0.rc2.1.fc40
4
elfutils-default-yama-scope
0.190-2.fc40
0.190-4.fc40
B
libsepol-devel
3.6-0.rc1.1.fc40
3.6-0.rc2.1.fc40
B
elfutils
0.190-2.fc40
0.190-4.fc40
B
sqlite-libs
3.44.0-1.fc40
3.44.1-1.fc40
B
rpm-build-libs
4.19.0-2.fc40
4.19.0-3.fc40
B
crypto-policies
20231113-1.gitb402e82....
20231204-1.git1e3a2e4....
B
rpm-sequoia
1.5.0-1.fc40
1.5.0-2.fc40
B
libsemanage
3.6-0.rc1.1.fc40
3.6-0.rc2.1.fc40
B
elfutils-libs
0.190-2.fc40
0.190-4.fc40
B
libxml2-devel
2.12.0-1.fc40
2.12.1-1.fc40
B
debugedit
5.0-11.fc40
5.0-12.fc40
B
jbigkit-libs
2.1-26.fc39
2.1-27.fc40
B
gdb-minimal
13.2-11.fc40
13.2-12.fc40
B
libsepol
3.6-0.rc1.1.fc40
3.6-0.rc2.1.fc40
B
complete
109382247
2023-11-22 04:16:41
aarch64
├109382297 ( build.log | root.log )
ppc64le
├109382296 ( build.log | root.log )
x86_64
└109382298 ( build.log | root.log )
ocaml
5.1.0-4.fc40
5.1.0-5.fc40
1
ocaml-ocamldoc
5.1.0-4.fc40
5.1.0-5.fc40
1
glibc
2.38.9000-19.fc40
2.38.9000-22.fc40
2
ocaml-compiler-libs
5.1.0-4.fc40
5.1.0-5.fc40
2
gcc
13.2.1-4.fc40
13.2.1-5.fc40
2
ocaml-runtime
5.1.0-4.fc40
5.1.0-5.fc40
2
binutils
2.41-12.fc40
2.41-14.fc40
3
bash
5.2.15-5.fc39
5.2.21-2.fc40
3
glibc-common
2.38.9000-19.fc40
2.38.9000-22.fc40
3
glibc-minimal-langpack
2.38.9000-19.fc40
2.38.9000-22.fc40
3
annobin-plugin-gcc
12.30-1.fc40
12.31-1.fc40
3
gcc-plugin-annobin
13.2.1-4.fc40
13.2.1-5.fc40
3
cpp
13.2.1-4.fc40
13.2.1-5.fc40
3
rpm
4.19.0-1.fc40
4.19.0-2.fc40
3
glibc-gconv-extra
2.38.9000-19.fc40
2.38.9000-22.fc40
3
libgcc
13.2.1-4.fc40
13.2.1-5.fc40
3
glibc-devel
2.38.9000-19.fc40
2.38.9000-22.fc40
3
libgomp
13.2.1-4.fc40
13.2.1-5.fc40
3
glibc-headers-x86
2.38.9000-19.fc40
2.38.9000-22.fc40
4
libcap
2.48-7.fc39
2.69-1.fc40
4
harfbuzz
8.2.1-2.fc40
8.3.0-2.fc40
4
pcre2
10.42-1.fc39.2
10.42-2.fc40
4
rpm-libs
4.19.0-1.fc40
4.19.0-2.fc40
4
annobin-docs
12.30-1.fc40
12.31-1.fc40
4
libstdc++
13.2.1-4.fc40
13.2.1-5.fc40
4
libselinux-devel
3.5-5.fc39
3.6-0.rc1.1.fc40
4
gnutls
3.8.1-1.fc40
3.8.1-3.fc40
4
binutils-gold
2.41-12.fc40
2.41-14.fc40
4
pam-libs
1.5.3-7.fc40
1.5.3-8.fc40
4
systemd-libs
254.5-2.fc40
255~rc2-1.fc40
4
libselinux
3.5-5.fc39
3.6-0.rc1.1.fc40
4
libxml2
2.11.5-1.fc40
2.12.0-1.fc40
4
harfbuzz-devel
8.2.1-2.fc40
8.3.0-2.fc40
4
pcre2-devel
10.42-1.fc39.2
10.42-2.fc40
4
rpm-build
4.19.0-1.fc40
4.19.0-2.fc40
4
kernel-headers
6.6.0-1.fc40
6.7.0-0.rc2.git0.1....
4
pam
1.5.3-7.fc40
1.5.3-8.fc40
4
fedora-release-common
40-0.18
40-0.20
B
lmdb-libs
0.9.31-2.fc39
fedora-release
40-0.18
40-0.20
B
libsepol
3.5-2.fc39
3.6-0.rc1.1.fc40
B
libsemanage
3.5-4.fc39
3.6-0.rc1.1.fc40
B
libxml2-devel
2.11.5-1.fc40
2.12.0-1.fc40
B
cpio
2.14-4.fc39
2.14-5.fc40
B
pcre2-syntax
10.42-1.fc39.2
10.42-2.fc40
B
pcre2-utf16
10.42-1.fc39.2
10.42-2.fc40
B
libdb-convert-util
5.3.28-58.fc40
pcre2-utf32
10.42-1.fc39.2
10.42-2.fc40
B
harfbuzz-icu
8.2.1-2.fc40
8.3.0-2.fc40
B
debugedit
5.0-10.fc39
5.0-11.fc40
B
rpm-build-libs
4.19.0-1.fc40
4.19.0-2.fc40
B
p11-kit
0.25.2-1.fc40
0.25.3-1.fc40
B
crypto-policies
20231108-1.gitd5877b3....
20231113-1.gitb402e82....
B
fedora-release-identity-basic
40-0.18
40-0.20
B
p11-kit-trust
0.25.2-1.fc40
0.25.3-1.fc40
B
libsepol-devel
3.5-2.fc39
3.6-0.rc1.1.fc40
B
Koschei version
Authors: Michael Simacek, Mikolaj Izdebski
Copyright © 2014-2018 Red Hat Inc.
User documentation
Project page on GitHub
Reporting issues