Koschei - why3

Package information

State

Packages

Bodhi

Dist-git

Bugzilla

Koji

File new FTBFS bug

Scheduler parameters

Tracked by Koschei

True

Current priority

2880

Manual priority

Static priority

Arch override

None

Skip resolution

False

Configure scheduling

Dependency changes since last build

glib2

2.77.2-1.fc39

2.78.0-2.fc39

dbus-libs

1:1.14.8-2.fc39

1:1.14.10-1.fc39

alsa-lib

1.2.9-4.fc39

1.2.10-3.fc39

json-glib

1.6.6-5.fc39

1.8.0-1.fc39

rpm-libs

4.18.92-1.fc39

4.19.0-1.fc39

coreutils

9.3-3.fc39

9.3-4.fc39

rpm

4.18.92-1.fc39

4.19.0-1.fc39

python-srpm-macros

3.12-2.fc39

3.12-4.fc39

atk

2.49.91-1.fc39

2.50.0-1.fc39

libsoup3

3.4.2-4.fc39

3.4.3-1.fc39

glib2-devel

2.77.2-1.fc39

2.78.0-2.fc39

nspr

4.35.0-11.fc39

4.35.0-12.fc39

nss

3.92.0-1.fc39

3.93.0-1.fc39

libcap-ng

0.8.3-7.fc39

0.8.3-8.fc39

kernel-headers

6.5.0-0.rc6.git0.1....

6.5.4-300.fc39

at-spi2-atk

2.49.91-1.fc39

2.50.0-1.fc39

coreutils-common

9.3-3.fc39

9.3-4.fc39

libaom

3.6.1-2.fc39

3.7.0-1.fc39

at-spi2-atk-devel

2.49.91-1.fc39

2.50.0-1.fc39

at-spi2-core

2.49.91-1.fc39

2.50.0-1.fc39

audit-libs

3.1.2-1.fc39

3.1.2-4.fc39

adwaita-icon-theme

45~rc-1.fc39

45.0-1.fc39

mesa-libgbm

23.2.0~rc2-3.fc39

23.2.0~rc3-1.fc39

libtracker-sparql

3.6~rc-1.fc39

3.6.0-1.fc39

atk-devel

2.49.91-1.fc39

2.50.0-1.fc39

dbus

1:1.14.8-2.fc39

1:1.14.10-1.fc39

dbus-common

1:1.14.8-2.fc39

1:1.14.10-1.fc39

dbus-devel

1:1.14.8-2.fc39

1:1.14.10-1.fc39

perltidy

20230701-2.fc39

20230912-1.fc39

nss-softokn-freebl

3.92.0-1.fc39

3.93.0-1.fc39

rpm-build

4.18.92-1.fc39

4.19.0-1.fc39

at-spi2-core-devel

2.49.91-1.fc39

2.50.0-1.fc39

adwaita-cursor-theme

45~rc-1.fc39

45.0-1.fc39

nss-sysinit

3.92.0-1.fc39

3.93.0-1.fc39

mesa-libEGL

23.2.0~rc2-3.fc39

23.2.0~rc3-1.fc39

nss-softokn

3.92.0-1.fc39

3.93.0-1.fc39

mesa-libglapi

23.2.0~rc2-3.fc39

23.2.0~rc3-1.fc39

nss-util

3.92.0-1.fc39

3.93.0-1.fc39

highway

1.0.5-1.fc39

1.0.7-1.fc39

hwdata

0.373-1.fc39

0.374-1.fc39

mesa-libGL

23.2.0~rc2-3.fc39

23.2.0~rc3-1.fc39

gdb-minimal

13.2-7.fc39

13.2-8.fc39

rpm-build-libs

4.18.92-1.fc39

4.19.0-1.fc39

perl-version

8:0.99.29-501.fc39

8:0.99.30-1.fc39

show 34 more collapse

State overview

Groups

This package is not part of any global group.

Most recent builds

106239234

2023-09-15 20:29:18

aarch64

├106239415 ( build.log | root.log )

x86_64

└106239414 ( build.log | root.log )

ocaml-ocamlgraph-devel

2.0.0-14.fc39

2.1.0-1.fc39

python3-pybtex-docutils

1.0.2-6.fc39

1.0.3-1.fc39

libwebp

1.3.1-2.fc39

1.3.1-3.fc39

ocaml-ocamlgraph

2.0.0-14.fc39

2.1.0-1.fc39

alsa-lib

1.2.10-2.fc39

1.2.9-4.fc39

gnutls

3.8.0-7.fc39

3.8.1-1.fc39

default-fonts-core-sans

4.0-8.fc39

4.0-9.fc39

atk

2.49.90-1.fc39

2.49.91-1.fc39

libtiff

4.4.0-7.fc39

4.4.0-8.fc39

rpm-sequoia

1.4.1-2.fc39

1.5.0-1.fc39

coreutils

9.3-2.fc39

9.3-3.fc39

openssl-libs

1:3.1.1-1.fc39

1:3.1.1-4.fc39

libsoup3

3.4.2-3.fc39

3.4.2-4.fc39

at-spi2-core

2.49.90-1.fc39

2.49.91-1.fc39

atk-devel

2.49.90-1.fc39

2.49.91-1.fc39

libtracker-sparql

3.6~beta-1.fc39

3.6~rc-1.fc39

libcloudproviders-devel

0.3.2-1.fc39

0.3.4-1.fc39

libcloudproviders

0.3.2-1.fc39

0.3.4-1.fc39

at-spi2-atk

2.49.90-1.fc39

2.49.91-1.fc39

coreutils-common

9.3-2.fc39

9.3-3.fc39

at-spi2-atk-devel

2.49.90-1.fc39

2.49.91-1.fc39

google-noto-sans-vf-fonts

20230801-2.fc39

20230801-3.fc39

liblerc

4.0.0-4.fc39

adwaita-icon-theme

45~beta-2.fc39

45~rc-1.fc39

libeconf

0.4.0-6.fc39

0.5.2-1.fc39

perl-URI

5.19-2.fc39

5.21-1.fc39

perl-Business-ISBN-Data

20230822.001-1.fc39

20230907.001-1.fc39

fedora-release-common

39-0.24

39-0.25

adwaita-cursor-theme

45~beta-2.fc39

45~rc-1.fc39

fedora-release-identity-basic

39-0.24

39-0.25

libtiff-devel

4.4.0-7.fc39

4.4.0-8.fc39

fedora-gpg-keys

39-0.5

39-0.6

at-spi2-core-devel

2.49.90-1.fc39

2.49.91-1.fc39

perl-Authen-SASL

2.16-30.fc39

2.1700-1.fc39

fedora-repos

39-0.5

39-0.6

cmake-filesystem

3.27.4-3.fc39

3.27.4-7.fc39

teckit

2.5.11-2.fc39

2.5.12-1.fc39

perl-Module-CoreList

1:5.20230720-1.fc39

1:5.20230820-1.fc39

google-noto-fonts-common

20230801-2.fc39

20230801-3.fc39

fedora-release

39-0.24

39-0.25

show 30 more collapse

Real build: why3-1.6.0-6.fc39

106000317

2023-09-10 16:46:35

aarch64

├106000469 ( build.log | root.log )

x86_64

└106000468 ( build.log | root.log )

Dependencies for this build couldn't be processed

105739125

2023-09-04 13:15:44

aarch64

├105739195 ( build.log | root.log )

x86_64

└105739194 ( build.log | root.log )

ncurses-libs

6.4-6.20230520.fc39

6.4-7.20230520.fc39

alsa-lib

1.2.9-4.fc39

1.2.10-2.fc39

librsvg2

2.56.90-9.fc39

2.56.92-1.fc39

libunistring

1.1-4.fc39

1.1-5.fc39

ncurses-base

6.4-6.20230520.fc39

6.4-7.20230520.fc39

rsvg-pixbuf-loader

2.56.90-9.fc39

2.56.92-1.fc39

google-droid-sans-fonts

20200215-15.fc39

20200215-17.fc39

cmake-filesystem

3.27.3-1.fc39

3.27.4-3.fc39

perl-Convert-ASN1

0.33-6.fc39

0.34-1.fc39

perl-Business-ISBN-Data

20230811.001-1.fc39

20230822.001-1.fc39

ncurses

6.4-6.20230520.fc39

6.4-7.20230520.fc39

show 1 more collapse

104997285

2023-08-18 23:55:39

aarch64

├104997340 ( build.log | root.log )

x86_64

└104997341 ( build.log | root.log )

python3-docutils

0.19-4.fc39

0.19-5.fc39

fontconfig

2.14.2-4.fc39

2.14.2-5.fc39

pango

1.50.14-2.fc39

1.51.0-1.fc39

poppler-glib

23.02.0-3.fc39

23.08.0-1.fc39

glib2

2.77.1-1.fc39

2.77.2-1.fc39

python3

3.12.0~b4-3.fc39

3.12.0~rc1-1.fc39

libuuid

2.39.1-3.fc39

2.39.2-1.fc39

systemd-libs

254-1.fc39

254.1-2.fc39

util-linux

2.39.1-3.fc39

2.39.2-1.fc39

rust-srpm-macros

24-3.fc39

24-5.fc39

annobin-plugin-gcc

12.23-1.fc39

12.24-1.fc39

default-fonts-core-sans

4.0-6.fc39

4.0-8.fc39

libmount

2.39.1-3.fc39

2.39.2-1.fc39

python3-libs

3.12.0~b4-3.fc39

3.12.0~rc1-1.fc39

cups-libs

1:2.4.6-2.fc39

1:2.4.6-4.fc39

poppler

23.02.0-3.fc39

23.08.0-1.fc39

krb5-libs

1.21-3.fc39

1.21.2-1.fc39

libcloudproviders

0.3.1-8.fc39

0.3.2-1.fc39

libblkid

2.39.1-3.fc39

2.39.2-1.fc39

mesa-libgbm

23.1.5-1.fc39

23.2.0~rc2-3.fc39

pango-devel

1.50.14-2.fc39

1.51.0-1.fc39

libcloudproviders-devel

0.3.1-8.fc39

0.3.2-1.fc39

colord-libs

1.4.6-5.fc39

1.4.6-6.fc39

google-noto-sans-vf-fonts

20230801-1.fc39

20230801-2.fc39

util-linux-core

2.39.1-3.fc39

2.39.2-1.fc39

flint

2.9.0-4.fc39

2.9.0-5.fc39

glib2-devel

2.77.1-1.fc39

2.77.2-1.fc39

annobin-docs

12.23-1.fc39

12.24-1.fc39

libtracker-sparql

3.6~alpha-3.fc39

3.6~beta-1.fc39

fontconfig-devel

2.14.2-4.fc39

2.14.2-5.fc39

libsmartcols

2.39.1-3.fc39

2.39.2-1.fc39

publicsuffix-list-dafsa

20230614-2.fc39

20230812-1.fc39

kernel-headers

6.5.0-0.rc2.git0.1....

6.5.0-0.rc6.git0.1....

libtirpc

1.3.3-1.rc1.fc39.1

1.3.3-1.rc2.fc39

libfdisk

2.39.1-3.fc39

2.39.2-1.fc39

libjxl

1:0.8.2-2.fc39

1:0.8.2-3.fc39

libblkid-devel

2.39.1-3.fc39

2.39.2-1.fc39

fedora-release-common

39-0.21

39-0.24

perl-Business-ISBN-Data

20230729.001-1.fc39

20230811.001-1.fc39

fedora-repos

39-0.4

39-0.5

cmake-filesystem

3.27.1-1.fc39

3.27.3-1.fc39

mesa-libglapi

23.1.5-1.fc39

23.2.0~rc2-3.fc39

fedora-release-identity-basic

39-0.21

39-0.24

tar

2:1.35-1.fc39

2:1.35-2.fc39

ntl

11.5.1-6.fc39

11.5.1-7.fc39

mesa-libGL

23.1.5-1.fc39

23.2.0~rc2-3.fc39

mesa-libEGL

23.1.5-1.fc39

23.2.0~rc2-3.fc39

libmount-devel

2.39.1-3.fc39

2.39.2-1.fc39

fedora-gpg-keys

39-0.4

39-0.5

shadow-utils

2:4.13-8.fc39

2:4.14.0-1.fc39

gdb-minimal

13.2-6.fc39

13.2-7.fc39

fedora-repos-rawhide

39-0.4

google-noto-fonts-common

20230801-1.fc39

20230801-2.fc39

fedora-release

39-0.21

39-0.24

show 44 more collapse

104499037

2023-08-07 17:59:52

aarch64

├104499289 ( build.log | root.log )

x86_64

└104499288 ( build.log | root.log )

emacs-nox

1:28.2-10.fc39

1:29.1-1.fc39

libgs

10.01.2-2.fc39

10.01.2-3.fc39

ocaml-base

0.16.2-1.fc39

0.16.3-1.fc39

ocaml-base-devel

0.16.2-1.fc39

0.16.3-1.fc39

emacs-common

1:28.2-10.fc39

1:29.1-1.fc39

ghostscript

10.01.2-2.fc39

10.01.2-3.fc39

emacs-filesystem

1:28.2-10.fc39

1:29.1-1.fc39

ghostscript-tools-printing

10.01.2-2.fc39

10.01.2-3.fc39

ghostscript-tools-fonts

10.01.2-2.fc39

10.01.2-3.fc39

audit-libs

3.1.1-4.fc39

3.1.2-1.fc39

python-pip-wheel

23.1.2-7.fc39

23.2.1-1.fc39

show 1 more collapse

104408425

2023-08-05 17:58:28

aarch64

├104408590 ( build.log | root.log )

x86_64

└104408589 ( build.log | root.log )

ocaml-apron-devel

0.9.14-0.4.beta.2.fc39

0.9.14-0.6.beta.2.fc39

ocaml-apron

0.9.14-0.4.beta.2.fc39

0.9.14-0.6.beta.2.fc39

redhat-rpm-config

261-1.fc39

262-1.fc39

rpm-libs

4.18.91-8.fc39

4.18.92-1.fc39

harfbuzz

8.0.1-3.fc39

8.1.1-1.fc39

alternatives

1.24-2.fc39

1.25-1.fc39

apron-devel

0.9.14-0.4.beta.2.fc39

0.9.14-0.6.beta.2.fc39

python3

3.12.0~b4-2.fc39

3.12.0~b4-3.fc39

glibc

2.37.9000-18.fc39

2.38-1.fc39

apron

0.9.14-0.4.beta.2.fc39

0.9.14-0.6.beta.2.fc39

adobe-mappings-cmap-deprecated

20230118-3.fc39

20230622-1.fc39

rpm

4.18.91-8.fc39

4.18.92-1.fc39

xz-libs

5.4.3-2.fc39

5.4.4-1.fc39

python3-libs

3.12.0~b4-2.fc39

3.12.0~b4-3.fc39

glibc-gconv-extra

2.37.9000-18.fc39

2.38-1.fc39

glibc-minimal-langpack

2.37.9000-18.fc39

2.38-1.fc39

glibc-common

2.37.9000-18.fc39

2.38-1.fc39

adobe-mappings-cmap

20230118-3.fc39

20230622-1.fc39

atk

2.49.1-2.fc39

2.49.90-1.fc39

glibc-devel

2.37.9000-18.fc39

2.38-1.fc39

default-fonts-core-sans

4.0-5.fc39

4.0-6.fc39

at-spi2-core

2.49.1-2.fc39

2.49.90-1.fc39

nss

3.91.0-2.fc39

3.92.0-1.fc39

nspr

4.35.0-10.fc39

4.35.0-11.fc39

at-spi2-atk

2.49.1-2.fc39

2.49.90-1.fc39

glibc-headers-x86

2.37.9000-18.fc39

2.38-1.fc39

google-noto-sans-vf-fonts

20230601-4.fc39

20230801-1.fc39

harfbuzz-icu

8.0.1-3.fc39

8.1.1-1.fc39

flint

2.9.0-4.fc39

python-pip-wheel

23.1.2-5.fc39

23.1.2-7.fc39

mesa-libgbm

23.1.4-1.fc39

23.1.5-1.fc39

atk-devel

2.49.1-2.fc39

2.49.90-1.fc39

at-spi2-atk-devel

2.49.1-2.fc39

2.49.90-1.fc39

pplite

0.11-1.fc39

gf2x

1.3.0-10.fc39

ntl

11.5.1-6.fc39

perl-Mozilla-CA

20221114-3.fc39

20230801-1.fc39

5.4.3-2.fc39

5.4.4-1.fc39

perl-HTTP-Tiny

0.088-2.fc39

0.088-3.fc39

mesa-libGL

23.1.4-1.fc39

23.1.5-1.fc39

at-spi2-core-devel

2.49.1-2.fc39

2.49.90-1.fc39

xz-devel

5.4.3-2.fc39

5.4.4-1.fc39

rpm-build-libs

4.18.91-8.fc39

4.18.92-1.fc39

perl-Net-SSLeay

1.92-9.fc39

1.92-10.fc39

nss-softokn-freebl

3.91.0-2.fc39

3.92.0-1.fc39

nss-softokn

3.91.0-2.fc39

3.92.0-1.fc39

mesa-libglapi

23.1.4-1.fc39

23.1.5-1.fc39

harfbuzz-devel

8.0.1-3.fc39

8.1.1-1.fc39

nss-util

3.91.0-2.fc39

3.92.0-1.fc39

nss-sysinit

3.91.0-2.fc39

3.92.0-1.fc39

mesa-libEGL

23.1.4-1.fc39

23.1.5-1.fc39

hwdata

0.372-2.fc39

0.373-1.fc39

rpm-build

4.18.91-8.fc39

4.18.92-1.fc39

gzip

1.12-5.fc39

1.12-6.fc39

google-noto-fonts-common

20230601-4.fc39

20230801-1.fc39

show 45 more collapse

2023-08-05 17:57:40

Package dependencies resolved successfuly

2023-08-03 22:14:47

Package resolution failed

Problem: conflicting requests
- nothing provides ocaml(Coeff) = bf173ab8e29491989a296d0d46228890 needed by ocaml-apron-devel-0.9.14-0.5.beta.2.fc39.x86_64
- nothing provides ocaml(Dim) = e84eac415aefcffffb5d07b8f83e9d13 needed by ocaml-apron-devel-0.9.14-0.5.beta.2.fc39.x86_64
- nothing provides ocaml(Interval) = be3ce9a5bbf6cc02fdd72f5f77dc6845 needed by ocaml-apron-devel-0.9.14-0.5.beta.2.fc39.x86_64
- nothing provides ocaml(Lincons0) = 6062daf316d699f143f839fc9e9bc91a needed by ocaml-apron-devel-0.9.14-0.5.beta.2.fc39.x86_64
- nothing provides ocaml(Linexpr0) = 0f486ba0f09305ecd472d78144e8fef7 needed by ocaml-apron-devel-0.9.14-0.5.beta.2.fc39.x86_64
- nothing provides ocaml(Scalar) = 15a9912935f13d2c4d4cf6c2c5abb8d4 needed by ocaml-apron-devel-0.9.14-0.5.beta.2.fc39.x86_64
- nothing provides ocaml(Tcons0) = c2aff5d62c39f4aadcc9378e357b0b2a needed by ocaml-apron-devel-0.9.14-0.5.beta.2.fc39.x86_64
- nothing provides ocaml(Texpr0) = c759dbef352ca6a816f8259493ba3cad needed by ocaml-apron-devel-0.9.14-0.5.beta.2.fc39.x86_64

Previous history