Koschei - coq

Package information

State

Packages

Bodhi

Dist-git

Bugzilla

Koji

File new FTBFS bug

Scheduler parameters

Tracked by Koschei

True

Current priority

672

Manual priority

Static priority

Arch override

None

Skip resolution

False

Configure scheduling

Dependency changes since last build

java-17-openjdk-headless

1:17.0.13.0.11-1.fc39

1:17.0.13.0.11-3.fc39

krb5-libs

1.21.3-1.fc39

1.21.3-2.fc39

systemd-libs

254.19-1.fc39

254.20-1.fc39

libsoup3

3.4.4-1.fc39

3.4.4-3.fc39

hwdata

0.388-1.fc39

0.389-1.fc39

State overview

Groups

This package is not part of any global group.

Historical builds

123806028

2024-09-23 02:56:11

aarch64

├123806138 ( build.log | root.log )

x86_64

└123806139 ( build.log | root.log )

git-core

2.46.0-1.fc39

2.46.1-1.fc39

python3-devel

3.12.5-1.fc39

3.12.6-1.fc39

less

633-2.fc39

633-4.fc39

python3

3.12.5-1.fc39

3.12.6-1.fc39

python3-libs

3.12.5-1.fc39

3.12.6-1.fc39

gcc

13.3.1-1.fc39

13.3.1-3.fc39

expat

2.6.2-1.fc39

2.6.3-1.fc39

libgcc

13.3.1-1.fc39

13.3.1-3.fc39

openssl-libs

1:3.1.1-4.fc39

1:3.1.4-4.fc39

cpp

13.3.1-1.fc39

13.3.1-3.fc39

rpmautospec-rpm-macros

0.6.5-1.fc39

0.7.2-1.fc39

libgomp

13.3.1-1.fc39

13.3.1-3.fc39

gcc-plugin-annobin

13.3.1-1.fc39

13.3.1-3.fc39

cups-libs

1:2.4.10-3.fc39

1:2.4.10-6.fc39

gdb-minimal

14.2-2.fc39

15.1-1.fc39

libgfortran

13.3.1-1.fc39

13.3.1-3.fc39

libstdc++

13.3.1-1.fc39

13.3.1-3.fc39

libquadmath

13.3.1-1.fc39

13.3.1-3.fc39

hwdata

0.385-1.fc39

0.387-1.fc39

show 9 more collapse

122494198

2024-08-26 05:28:22

aarch64

├122494291 ( build.log | root.log )

x86_64

└122494292 ( build.log | root.log )

git-core

2.45.2-1.fc39

2.46.0-1.fc39

python3-devel

3.12.4-1.fc39

3.12.5-1.fc39

python3

3.12.4-1.fc39

3.12.5-1.fc39

python3-libs

3.12.4-1.fc39

3.12.5-1.fc39

java-17-openjdk-headless

1:17.0.11.0.9-1.fc39

1:17.0.12.0.7-2.fc39

cups-libs

1:2.4.10-1.fc39

1:2.4.10-3.fc39

nss

3.101.0-1.fc39

3.103.0-1.fc39

qt5-srpm-macros

5.15.13-1.fc39

5.15.14-2.fc39

libedit

3.1-51.20240517cv...

3.1-53.20240808cv...

libtirpc

1.3.4-1.rc3.fc39

1.3.5-0.fc39

audit-libs

3.1.3-1.fc39

3.1.5-1.fc39

kernel-headers

6.9.4-100.fc39

6.10.3-200.fc39

nss-softokn

3.101.0-1.fc39

3.103.0-1.fc39

nss-sysinit

3.101.0-1.fc39

3.103.0-1.fc39

nspr

4.35.0-21.fc39

4.35.0-22.fc39

nss-util

3.101.0-1.fc39

3.103.0-1.fc39

systemd-libs

254.14-1.fc39

254.16-1.fc39

hwdata

0.384-1.fc39

0.385-1.fc39

python3-setuptools

67.7.2-7.fc39

67.7.2-8.fc39

nss-softokn-freebl

3.101.0-1.fc39

3.103.0-1.fc39

show 10 more collapse

121145579

2024-07-28 09:48:55

aarch64

├121145696 ( build.log | root.log )

x86_64

└121145695 ( build.log | root.log )

python-rpm-macros

3.12-4.fc39

3.12-8.fc39

pyproject-rpm-macros

1.12.0-1.fc39

1.13.0-1.fc39

python3-rpm-macros

3.12-4.fc39

3.12-8.fc39

rpm-sequoia

1.6.0-3.fc39

1.7.0-1.fc39

gtk3

3.24.41-1.fc39

3.24.43-1.fc39

python-srpm-macros

3.12-4.fc39

3.12-8.fc39

findutils

1:4.9.0-5.fc39

1:4.9.0-6.fc39

gtk3-devel

3.24.41-1.fc39

3.24.43-1.fc39

coreutils

9.3-5.fc39

9.3-6.fc39

gnutls

3.8.5-1.fc39

3.8.6-1.fc39

annobin-plugin-gcc

12.57-1.fc39

12.60-1.fc39

krb5-libs

1.21.2-3.fc39

1.21.3-1.fc39

pyproject-srpm-macros

1.12.0-1.fc39

1.13.0-1.fc39

cups-libs

1:2.4.8-3.fc39

1:2.4.10-1.fc39

annobin-docs

12.57-1.fc39

12.60-1.fc39

gdb-minimal

14.2-1.fc39

14.2-2.fc39

p11-kit

0.25.3-1.fc39

0.25.5-1.fc39

gtk-update-icon-cache

3.24.41-1.fc39

3.24.43-1.fc39

p11-kit-trust

0.25.3-1.fc39

0.25.5-1.fc39

coreutils-common

9.3-5.fc39

9.3-6.fc39

hwdata

0.383-1.fc39

0.384-1.fc39

show 11 more collapse

120333129

2024-07-11 16:27:00

aarch64

├120333192 ( build.log | root.log )

x86_64

└120333191 ( build.log | root.log )

python3-devel

3.12.3-2.fc39

3.12.4-1.fc39

python3-antlr4-runtime

4.10.1-10.fc39

4.10.1-11.fc39

antlr4

4.10.1-10.fc39

4.10.1-11.fc39

python3

3.12.3-2.fc39

3.12.4-1.fc39

python3-libs

3.12.3-2.fc39

3.12.4-1.fc39

antlr4-runtime

4.10.1-10.fc39

4.10.1-11.fc39

emacs-filesystem

1:29.3-1.fc39

1:29.4-2.fc39

openssh-clients

9.3p1-10.fc39

9.3p1-11.fc39

rpmautospec-rpm-macros

0.6.3-1.fc39

0.6.5-1.fc39

alsa-lib

1.2.11-2.fc39

1.2.12-1.fc39

openssh

9.3p1-10.fc39

9.3p1-11.fc39

systemd-libs

254.13-1.fc39

254.14-1.fc39

show 2 more collapse

119648862

2024-06-26 17:49:38

aarch64

├119649134 ( build.log | root.log )

x86_64

└119649135 ( build.log | root.log )

git-core

2.45.1-1.fc39

2.45.2-1.fc39

libarchive

3.7.1-1.fc39

3.7.1-2.fc39

rpm-sequoia

1.6.0-1.fc39

1.6.0-3.fc39

annobin-plugin-gcc

12.51-1.fc39

12.57-1.fc39

nss

3.99.0-1.fc39

3.101.0-1.fc39

cups-libs

1:2.4.7-13.fc39

1:2.4.8-3.fc39

openldap

2.6.6-1.fc39

2.6.7-1.fc39

libedit

3.1-48.20230828cv...

3.1-51.20240517cv...

flexiblas-netlib

3.4.2-1.fc39

3.4.4-1.fc39

nspr

4.35.0-19.fc39

4.35.0-21.fc39

flexiblas

3.4.2-1.fc39

3.4.4-1.fc39

nss-softokn

3.99.0-1.fc39

3.101.0-1.fc39

flexiblas-openblas-openmp

3.4.2-1.fc39

3.4.4-1.fc39

kernel-headers

6.8.3-200.fc39

6.9.4-100.fc39

annobin-docs

12.51-1.fc39

12.57-1.fc39

systemd-libs

254.12-1.fc39

254.13-1.fc39

nss-sysinit

3.99.0-1.fc39

3.101.0-1.fc39

nss-util

3.99.0-1.fc39

3.101.0-1.fc39

nss-softokn-freebl

3.99.0-1.fc39

3.101.0-1.fc39

hwdata

0.382-1.fc39

0.383-1.fc39

libdrm

2.4.120-1.fc39

2.4.121-1.fc39

fedora-gpg-keys

39-1

39-2

fedora-repos

39-1

39-2

show 13 more collapse

118189990

2024-05-28 03:32:34

aarch64

├118190136 ( build.log | root.log )

x86_64

└118190135 ( build.log | root.log )

git-core

2.45.0-1.fc39

2.45.1-1.fc39

texlive-base

11:20230311-77.fc39

11:20230311-78.fc39

gcc

13.2.1-7.fc39

13.3.1-1.fc39

libgcc

13.2.1-7.fc39

13.3.1-1.fc39

glib2

2.78.3-1.fc39

2.78.6-1.fc39

java-17-openjdk-headless

1:17.0.9.0.9-3.fc39

1:17.0.11.0.9-1.fc39

libgomp

13.2.1-7.fc39

13.3.1-1.fc39

gcc-plugin-annobin

13.2.1-7.fc39

13.3.1-1.fc39

cpp

13.2.1-7.fc39

13.3.1-1.fc39

qt5-srpm-macros

5.15.12-1.fc39

5.15.13-1.fc39

rust-srpm-macros

26.2-1.fc39

26.3-1.fc39

annobin-plugin-gcc

12.46-1.fc39

12.51-1.fc39

libquadmath

13.2.1-7.fc39

13.3.1-1.fc39

libstdc++

13.2.1-7.fc39

13.3.1-1.fc39

libgfortran

13.2.1-7.fc39

13.3.1-1.fc39

systemd-libs

254.10-1.fc39

254.12-1.fc39

annobin-docs

12.46-1.fc39

12.51-1.fc39

audit-libs

3.1.2-8.fc39

3.1.3-1.fc39

glib2-devel

2.78.3-1.fc39

2.78.6-1.fc39

libusb1

1.0.27-1.fc39

1.0.27-2.fc39

hwdata

0.381-1.fc39

0.382-1.fc39

show 11 more collapse