Koschei - why3

Package information

State

Packages

Bodhi

Dist-git

Bugzilla

Koji

File new FTBFS bug

Scheduler parameters

Tracked by Koschei

True

Current priority

1899

Manual priority

Static priority

Arch override

None

Skip resolution

False

Configure scheduling

Dependency changes since last build

graphviz

13.0.1-2.fc43

12.2.1-9.fc43

libcurl

8.14.1-1.fc43

8.15.0~rc1-1.fc43

libgs

10.05.1-3.fc43

10.05.1-4.fc43

graphviz-libs

13.0.1-2.fc43

12.2.1-9.fc43

ghostscript

10.05.1-3.fc43

10.05.1-4.fc43

libuuid

2.40.4-8.fc43

2.41.1-10.fc43

ghostscript-tools-fontutils

10.05.1-4.fc43

libmount

2.40.4-8.fc43

2.41.1-10.fc43

util-linux

2.40.4-8.fc43

2.41.1-10.fc43

ghostscript-tools-printing

10.05.1-3.fc43

10.05.1-4.fc43

liblastlog2

2.41.1-10.fc43

colord-libs

1.4.7-8.fc43

1.4.8-1.fc43

libmount-devel

2.40.4-8.fc43

2.41.1-10.fc43

libsmartcols

2.40.4-8.fc43

2.41.1-10.fc43

curl

8.14.1-1.fc43

8.15.0~rc1-1.fc43

libfdisk

2.40.4-8.fc43

2.41.1-10.fc43

util-linux-core

2.40.4-8.fc43

2.41.1-10.fc43

libblkid

2.40.4-8.fc43

2.41.1-10.fc43

libblkid-devel

2.40.4-8.fc43

2.41.1-10.fc43

ghostscript-tools-fonts

10.05.1-3.fc43

show 10 more collapse

State overview

Groups

This package is not part of any global group.

Most recent builds

134332807

2025-06-23 18:54:50

aarch64

├134332868 ( build.log | root.log )

ppc64le

├134332869 ( build.log | root.log )

x86_64

└134332870 ( build.log | root.log )

graphviz

12.2.1-9.fc43

13.0.1-2.fc43

graphviz-libs

12.2.1-9.fc43

13.0.1-2.fc43

glibc

2.41.9000-16.fc43

2.41.9000-20.fc43

glibc-gconv-extra

2.41.9000-16.fc43

2.41.9000-20.fc43

glibc-common

2.41.9000-16.fc43

2.41.9000-20.fc43

pyproject-srpm-macros

1.18.1-1.fc43

1.18.2-1.fc43

glibc-devel

2.41.9000-16.fc43

2.41.9000-20.fc43

crypto-policies

20250603-1.git3a584b3....

20250620-1.git9496ef7....

glibc-minimal-langpack

2.41.9000-16.fc43

2.41.9000-20.fc43

kernel-headers

6.16.0-0.rc2.24.fc43

6.16.0-0.rc3.31.fc43

colord-libs

1.4.7-6.fc42

1.4.7-8.fc43

perl-Clone-Choose

0.010-22.fc42

llvm-libs

20.1.6-10.fc43

20.1.7-1.fc43

llvm-filesystem

20.1.6-10.fc43

20.1.7-1.fc43

perl-Clone-PP

1.08-13.fc42

debugedit

5.1-6.fc43

5.1-7.fc43

perl-Specio

0.50-1.fc43

0.51-1.fc43

show 7 more collapse

134154380

2025-06-19 21:42:37

aarch64

├134154438 ( build.log | root.log )

ppc64le

├134154439 ( build.log | root.log )

x86_64

└134154440 ( build.log | root.log )

python3

3.14.0~b2-3.fc43

3.14.0~b3-2.fc43

ncurses-libs

6.5-5.20250125.fc42

6.5-6.20250614.fc43

glibc

2.41.9000-15.fc43

2.41.9000-16.fc43

python3-libs

3.14.0~b2-3.fc43

3.14.0~b3-2.fc43

glibc-common

2.41.9000-15.fc43

2.41.9000-16.fc43

glibc-devel

2.41.9000-15.fc43

2.41.9000-16.fc43

annobin-plugin-gcc

12.96-1.fc43

12.97-1.fc43

libnghttp2

1.65.0-1.fc43

1.66.0-1.fc43

which

2.23-1.fc42

2.23-2.fc43

ncurses-base

6.5-5.20250125.fc42

6.5-6.20250614.fc43

glibc-minimal-langpack

2.41.9000-15.fc43

2.41.9000-16.fc43

glibc-gconv-extra

2.41.9000-15.fc43

2.41.9000-16.fc43

pam-libs

1.7.0-4.fc42

1.7.1-1.fc43

annobin-docs

12.96-1.fc43

12.97-1.fc43

python-pip-wheel

25.1.1-4.fc43

25.1.1-5.fc43

adwaita-icon-theme

48.0-2.fc43

48.1-1.fc43

mesa-dri-drivers

25.1.3-2.fc43

25.1.4-1.fc43

mesa-libEGL

25.1.3-2.fc43

25.1.4-1.fc43

perl-IO-Socket-SSL

2.091-1.fc43

2.094-1.fc43

adwaita-cursor-theme

48.0-2.fc43

48.1-1.fc43

llvm-filesystem

20.1.6-9.fc43

20.1.6-10.fc43

mesa-libgbm

25.1.3-2.fc43

25.1.4-1.fc43

mesa-filesystem

25.1.3-2.fc43

25.1.4-1.fc43

ncurses

6.5-5.20250125.fc42

6.5-6.20250614.fc43

libdrm

2.4.124-2.fc42

2.4.125-1.fc43

mesa-libGL

25.1.3-2.fc43

25.1.4-1.fc43

llvm-libs

20.1.6-9.fc43

20.1.6-10.fc43

show 17 more collapse

134070686

2025-06-17 07:33:17

aarch64

├134070749 ( build.log | root.log )

ppc64le

├134070751 ( build.log | root.log )

x86_64

└134070750 ( build.log | root.log )

emacs-nw

1:30.1-24.fc43

1:30.1-25.fc43

urw-base35-fonts

20200910-24.fc42

20200910-25.fc43

emacs-common

1:30.1-24.fc43

1:30.1-25.fc43

emacs

1:30.1-24.fc43

1:30.1-25.fc43

urw-base35-p052-fonts

20200910-24.fc42

20200910-25.fc43

urw-base35-d050000l-fonts

20200910-24.fc42

20200910-25.fc43

urw-base35-gothic-fonts

20200910-24.fc42

20200910-25.fc43

urw-base35-nimbus-sans-fonts

20200910-24.fc42

20200910-25.fc43

libpng

2:1.6.48-1.fc43

2:1.6.49-1.fc43

urw-base35-bookman-fonts

20200910-24.fc42

20200910-25.fc43

urw-base35-standard-symbols-ps-fonts

20200910-24.fc42

20200910-25.fc43

urw-base35-nimbus-mono-ps-fonts

20200910-24.fc42

20200910-25.fc43

urw-base35-nimbus-roman-fonts

20200910-24.fc42

20200910-25.fc43

tree-sitter-srpm-macros

0.4.0-1.fc43

0.4.1-1.fc43

urw-base35-c059-fonts

20200910-24.fc42

20200910-25.fc43

urw-base35-fonts-common

20200910-24.fc42

20200910-25.fc43

emacsclient

1:30.1-24.fc43

1:30.1-25.fc43

urw-base35-z003-fonts

20200910-24.fc42

20200910-25.fc43

libjpeg-turbo

3.1.0-2.fc42

3.1.1-1.fc43

kernel-headers

6.16.0-0.rc1.17.fc43

6.16.0-0.rc2.24.fc43

publicsuffix-list-dafsa

20250116-1.fc42

20250616-1.fc43

libpng-devel

2:1.6.48-1.fc43

2:1.6.49-1.fc43

perltidy

20250311-1.fc43

20250616-1.fc43

libjpeg-turbo-devel

3.1.0-2.fc42

3.1.1-1.fc43

llvm-filesystem

20.1.6-6.fc43

20.1.6-9.fc43

llvm-libs

20.1.6-6.fc43

20.1.6-9.fc43

show 16 more collapse

133965245

2025-06-14 21:26:28

aarch64

├133965340 ( build.log | root.log )

ppc64le

├133965339 ( build.log | root.log )

x86_64

└133965341 ( build.log | root.log )

emacs-nw

1:30.1-23.fc43

1:30.1-24.fc43

emacs-common

1:30.1-23.fc43

1:30.1-24.fc43

glib2

2.85.0-1.fc43

2.85.1-1.fc43

emacs

1:30.1-23.fc43

1:30.1-24.fc43

libtree-sitter

0.25.5-1.fc43

0.25.6-1.fc43

python3-urllib3

2.4.0-3.fc43

2.4.0-4.fc43

glib2-devel

2.85.0-1.fc43

2.85.1-1.fc43

tree-sitter-srpm-macros

0.3.0-1.fc43

0.4.0-1.fc43

emacsclient

1:30.1-23.fc43

1:30.1-24.fc43

libffi

3.4.8-1.fc43

3.5.1-1.fc43

audit-libs

4.0.4-3.fc43

4.0.5-1.fc43

libffi-devel

3.4.8-1.fc43

3.5.1-1.fc43

perl-File-Find-Rule

0.34-30.fc42

0.35-1.fc43

perl-IO-Socket-SSL

2.090-1.fc43

2.091-1.fc43

mesa-libEGL

25.1.3-1.fc43

25.1.3-2.fc43

mesa-libgbm

25.1.3-1.fc43

25.1.3-2.fc43

mesa-filesystem

25.1.3-1.fc43

25.1.3-2.fc43

mesa-libGL

25.1.3-1.fc43

25.1.3-2.fc43

mesa-dri-drivers

25.1.3-1.fc43

25.1.3-2.fc43

show 9 more collapse

133833140

2025-06-11 16:52:06

aarch64

├133833226 ( build.log | root.log )

ppc64le

├133833225 ( build.log | root.log )

x86_64

└133833227 ( build.log | root.log )

graphviz

12.2.1-8.fc43

12.2.1-9.fc43

python3-sphinxcontrib-bibtex

2.6.3-2.fc42

2.6.3-3.fc43

python3-sphinx

1:8.2.3-5.fc43

1:8.2.3-8.fc43

python3-jinja2

3.1.6-1.fc43

3.1.6-3.fc43

python3-snowballstemmer

3.0.1-4.fc43

3.0.1-5.fc43

python3-pygments

2.19.1-1.fc43

2.19.1-3.fc43

libselinux

3.8-2.fc43

3.8-3.fc43

rpm-libs

5.99.90-5.fc43

5.99.90-6.fc43

python3-requests

2.32.3-12.fc43

2.32.3-14.fc43

graphviz-libs

12.2.1-8.fc43

12.2.1-9.fc43

python3-sphinx-theme-alabaster

0.7.16-6.fc41

0.7.16-8.fc43

python3-roman-numerals-py

3.1.0-1.fc43

3.1.0-2.fc43

python3-pybtex

0.24.0-18.fc42

0.24.0-19.fc43

python3-docutils

0.21.2-2.fc42

0.21.2-3.fc43

python3-pybtex-docutils

1.0.3-6.fc42

1.0.3-7.fc43

python3-imagesize

1.4.1-10.fc42

1.4.1-11.fc43

python3-packaging

25.0-1.fc43

25.0-3.fc43

python3-babel

2.17.0-1.fc42

2.17.0-3.fc43

libxml2

2.12.10-1.fc43

2.12.10-2.fc43

libuuid

2.40.4-7.fc43

2.40.4-8.fc43

python3

3.13.3-3.fc43

3.14.0~b2-3.fc43

python3-setuptools

78.1.1-1.fc43

78.1.1-7.fc43

python3-charset-normalizer

3.4.2-1.fc43

3.4.2-2.fc43

util-linux

2.40.4-7.fc43

2.40.4-8.fc43

cmake-filesystem

3.31.6-2.fc43

3.31.6-3.fc43

python3-idna

3.10-2.fc42

3.10-3.fc43

python3-six

1.17.0-2.fc42

1.17.0-4.fc43

python3-libs

3.13.3-3.fc43

3.14.0~b2-3.fc43

java-srpm-macros

1-3.fc43

1-4.fc43

python-srpm-macros

3.13-5.fc43

3.14-1.fc43

python3-markupsafe

3.0.2-2.fc42

3.0.2-3.fc43

file

5.46-4.fc43

5.46-5.fc43

libmount

2.40.4-7.fc43

2.40.4-8.fc43

libxml2-devel

2.12.10-1.fc43

2.12.10-2.fc43

dwz

0.15-9.fc42

0.16-1.fc43

pixman

0.44.2-2.fc42

0.46.2-1.fc43

openldap

2.6.9-5.fc43

2.6.10-1.fc43

python3-latexcodec

3.0.0-8.fc42

3.0.0-9.fc43

rpm

5.99.90-5.fc43

5.99.90-6.fc43

libbrotli

1.1.0-6.fc42

1.1.0-7.fc43

python3-pyyaml

6.0.2-2.fc42

6.0.2-3.fc43

python3-urllib3

2.4.0-2.fc43

2.4.0-3.fc43

libfdisk

2.40.4-7.fc43

2.40.4-8.fc43

libcap-ng

0.8.5-4.fc42

0.8.5-5.fc43

gpgmepp

1.24.3-1.fc43

1.24.3-2.fc43

libmount-devel

2.40.4-7.fc43

2.40.4-8.fc43

pixman-devel

0.44.2-2.fc42

0.46.2-1.fc43

javapackages-filesystem

6.4.0-7.fc43

6.4.0-8.fc43

libblkid

2.40.4-7.fc43

2.40.4-8.fc43

libsmartcols

2.40.4-7.fc43

2.40.4-8.fc43

python-pip-wheel

25.1.1-3.fc43

25.1.1-4.fc43

kernel-headers

6.15.0-61.fc43

6.16.0-0.rc1.17.fc43

file-libs

5.46-4.fc43

5.46-5.fc43

libselinux-devel

3.8-2.fc43

3.8-3.fc43

audit-libs

4.0.4-2.fc43

4.0.4-3.fc43

util-linux-core

2.40.4-7.fc43

2.40.4-8.fc43

rpm-build

5.99.90-5.fc43

5.99.90-6.fc43

libb2

0.98.1-13.fc42

rpm-sign-libs

5.99.90-5.fc43

5.99.90-6.fc43

brotli-devel

1.1.0-6.fc42

1.1.0-7.fc43

brotli

1.1.0-6.fc42

1.1.0-7.fc43

llvm-filesystem

20.1.6-1.fc43

20.1.6-6.fc43

llvm-libs

20.1.6-1.fc43

20.1.6-6.fc43

gpgme

1.24.3-1.fc43

1.24.3-2.fc43

perl-Mozilla-CA

20250202-1.fc42

20250602-1.fc43

libblkid-devel

2.40.4-7.fc43

2.40.4-8.fc43

gdb-minimal

16.3-1.fc43

16.3-3.fc43

libsemanage

3.8.1-2.fc43

3.8.1-3.fc43

perl-Date-Manip

6.97-1.fc43

6.98-1.fc43

libxslt

1.1.43-1.fc43

1.1.43-2.fc43

rpm-build-libs

5.99.90-5.fc43

5.99.90-6.fc43

show 61 more collapse

Real build: why3-1.8.1-1.fc43

133758454

2025-06-09 21:06:17

aarch64

├133758533 ( build.log | root.log )

ppc64le

├133758534 ( build.log | root.log )

s390x

├133758535 ( build.log | root.log )

x86_64

└133758532 ( build.log | root.log )

qt6-srpm-macros

6.9.0-2.fc43

6.9.1-1.fc43

tree-sitter-srpm-macros

0.2.4-1.fc43

0.3.0-1.fc43

mesa-libEGL

25.1.1-1.fc43

25.1.3-1.fc43

mesa-dri-drivers

25.1.1-1.fc43

25.1.3-1.fc43

mesa-libGL

25.1.1-1.fc43

25.1.3-1.fc43

mesa-libgbm

25.1.1-1.fc43

25.1.3-1.fc43

libeconf

0.7.6-1.fc43

0.7.9-1.fc43

mesa-filesystem

25.1.1-1.fc43

25.1.3-1.fc43

perl-Module-CoreList

1:5.20250421-1.fc43

1:5.20250528-1.fc43

Real build: why3-1.8.0-6.fc43

133669429

2025-06-07 16:34:39

aarch64

├133669516 ( build.log | root.log )

ppc64le

├133669517 ( build.log | root.log )

s390x

├133669518 ( build.log | root.log )

x86_64

└133669515 ( build.log | root.log )

No dependency changes

133668992

2025-06-07 16:19:07

aarch64

├133669074 ( build.log | root.log )

ppc64le

├133669073 ( build.log | root.log )

x86_64

└133669075 ( build.log | root.log )

java-21-openjdk-devel

1:21.0.7.0.6-1.fc43

1:21.0.7.0.6-2.fc43

ocaml-apron-devel

0.9.15-6.fc42

0.9.15-7.fc43

ocaml-mlgmpidl-devel

1.3.0-13.fc42

1.3.0-14.fc43

ocaml-apron

0.9.15-6.fc42

0.9.15-7.fc43

libcurl

8.14.0-1.fc43

8.14.1-1.fc43

apron-devel

0.9.15-6.fc42

0.9.15-7.fc43

ocaml-mlgmpidl

1.3.0-13.fc42

1.3.0-14.fc43

java-21-openjdk

1:21.0.7.0.6-1.fc43

1:21.0.7.0.6-2.fc43

apron

0.9.15-6.fc42

0.9.15-7.fc43

lua-libs

5.4.7-3.fc43

5.4.8-1.fc43

krb5-libs

1.21.3-5.fc42

1.21.3-6.fc43

annobin-plugin-gcc

12.95-1.fc43

12.96-1.fc43

java-21-openjdk-headless

1:21.0.7.0.6-1.fc43

1:21.0.7.0.6-2.fc43

file

5.46-2.fc43

5.46-4.fc43

openssl-libs

1:3.5.0-3.fc43

1:3.5.0-5.fc43

file-libs

5.46-2.fc43

5.46-4.fc43

curl

8.14.0-1.fc43

8.14.1-1.fc43

annobin-docs

12.95-1.fc43

12.96-1.fc43

perl-Business-ISBN-Data

20250521.001-1.fc43

20250605.001-1.fc43

show 9 more collapse

Previous history