Koschei - coq

Package information

State

Packages

Bodhi

Dist-git

Bugzilla

Koji

File new FTBFS bug

Scheduler parameters

Tracked by Koschei

True

Current priority

226

Manual priority

Static priority

Arch override

None

Skip resolution

False

Configure scheduling

Dependency changes since last build

binutils

2.44-1.fc42

2.44-3.fc42

State overview

Groups

This package is not part of any global group.

Historical builds

127923029

2025-01-16 08:06:25

aarch64

├127923110 ( build.log | root.log )

ppc64le

├127923108 ( build.log | root.log )

x86_64

└127923109 ( build.log | root.log )

git-core

2.48.0-1.fc42

2.48.1-1.fc42

libgcc

14.2.1-6.fc42

15.0.1-0.3.fc42

rpm-libs

4.20.0-5.fc42

4.20.0-6.fc42

gcc

14.2.1-6.fc42

15.0.1-0.3.fc42

libuuid

2.40.2-9.fc42

2.40.4-1.fc42

libmount

2.40.2-9.fc42

2.40.4-1.fc42

rpm-build

4.20.0-5.fc42

4.20.0-6.fc42

annobin-plugin-gcc

12.80-1.fc42

12.80-2.fc42

util-linux

2.40.2-9.fc42

2.40.4-1.fc42

libgomp

14.2.1-6.fc42

15.0.1-0.3.fc42

flexiblas-netlib

3.4.4-5.fc42

3.4.4-6.fc42

rpm

4.20.0-5.fc42

4.20.0-6.fc42

cpp

14.2.1-6.fc42

15.0.1-0.3.fc42

filesystem

3.18-30.fc42

3.18-34.fc42

fonts-filesystem

1:2.0.5-17.fc41

1:2.0.5-19.fc42

gcc-plugin-annobin

14.2.1-6.fc42

15.0.1-0.3.fc42

fonts-srpm-macros

1:2.0.5-17.fc41

1:2.0.5-19.fc42

filesystem-srpm-macros

3.18-30.fc42

3.18-34.fc42

rpm-build-libs

4.20.0-5.fc42

4.20.0-6.fc42

at-spi2-atk

2.55.0-1.fc42

2.55.0.1-1.fc42

atk

2.55.0-1.fc42

2.55.0.1-1.fc42

libxcrypt-devel

4.4.37-6.fc42

4.4.38-2.fc42

libquadmath

14.2.1-6.fc42

15.0.1-0.3.fc42

libblkid

2.40.2-9.fc42

2.40.4-1.fc42

libgfortran

14.2.1-6.fc42

15.0.1-0.3.fc42

libfdisk

2.40.2-9.fc42

2.40.4-1.fc42

libmount-devel

2.40.2-9.fc42

2.40.4-1.fc42

kernel-headers

6.13.0-0.rc6.48.fc42

6.13.0-0.rc7.55.fc42

util-linux-core

2.40.2-9.fc42

2.40.4-1.fc42

atk-devel

2.55.0-1.fc42

2.55.0.1-1.fc42

flexiblas-openblas-openmp

3.4.4-5.fc42

3.4.4-6.fc42

annobin-docs

12.80-1.fc42

12.80-2.fc42

at-spi2-atk-devel

2.55.0-1.fc42

2.55.0.1-1.fc42

flexiblas

3.4.4-5.fc42

3.4.4-6.fc42

libsmartcols

2.40.2-9.fc42

2.40.4-1.fc42

libtool-ltdl

2.5.4-2.fc42

2.5.4-3.fc42

libstdc++

14.2.1-6.fc42

15.0.1-0.3.fc42

libxcrypt

4.4.37-6.fc42

4.4.38-2.fc42

fedora-gpg-keys

42-0.3

42-0.4

libblkid-devel

2.40.2-9.fc42

2.40.4-1.fc42

libusb1

1.0.27-5.fc42

1.0.27-6.fc42

fedora-repos-rawhide

42-0.3

42-0.4

fedora-repos

42-0.3

42-0.4

at-spi2-core-devel

2.55.0-1.fc42

2.55.0.1-1.fc42

spirv-tools-libs

2024.3-4.fc42

2024.4-1.fc42

at-spi2-core

2.55.0-1.fc42

2.55.0.1-1.fc42

show 36 more collapse

127840510

2025-01-13 21:25:27

aarch64

├127840720 ( build.log | root.log )

ppc64le

├127840718 ( build.log | root.log )

x86_64

└127840719 ( build.log | root.log )

python3-antlr4-runtime

4.13.2-1.fc41

4.13.2-3.fc42

git-core

2.47.1-1.fc42

2.48.0-1.fc42

antlr4

4.13.2-1.fc41

4.13.2-3.fc42

libselinux

3.8-0.rc3.1.fc42.1

3.8-0.rc3.1.fc42.2

glibc

2.40.9000-27.fc42

2.40.9000-28.fc42

rpm-libs

4.20.0-1.fc42

4.20.0-5.fc42

libuuid

2.40.2-8.fc42

2.40.2-9.fc42

antlr4-runtime

4.13.2-1.fc41

4.13.2-3.fc42

rpm

4.20.0-1.fc42

4.20.0-5.fc42

libmount

2.40.2-8.fc42

2.40.2-9.fc42

glibc-gconv-extra

2.40.9000-27.fc42

2.40.9000-28.fc42

rpm-build

4.20.0-1.fc42

4.20.0-5.fc42

glibc-devel

2.40.9000-27.fc42

2.40.9000-28.fc42

coreutils

9.5-11.fc42

9.5-12.fc42

openldap

2.6.8-6.fc42

2.6.9-1.fc42

alternatives

1.31-1.fc42

1.31-2.fc42

libcap

2.71-1.fc42

2.71-2.fc42

filesystem

3.18-29.fc42

3.18-30.fc42

util-linux

2.40.2-8.fc42

2.40.2-9.fc42

glibc-common

2.40.9000-27.fc42

2.40.9000-28.fc42

glibc-minimal-langpack

2.40.9000-27.fc42

2.40.9000-28.fc42

filesystem-srpm-macros

3.18-29.fc42

3.18-30.fc42

libcom_err

1.47.2-1.fc42

1.47.2-2.fc42

libmount-devel

2.40.2-8.fc42

2.40.2-9.fc42

systemd-libs

257.2-1.fc42

257.2-7.fc42

util-linux-core

2.40.2-8.fc42

2.40.2-9.fc42

harfbuzz

10.1.0-2.fc42

10.2.0-1.fc42

atk-devel

2.54.0-1.fc42

2.55.0-1.fc42

libselinux-devel

3.8-0.rc3.1.fc42.1

3.8-0.rc3.1.fc42.2

coreutils-common

9.5-11.fc42

9.5-12.fc42

libsmartcols

2.40.2-8.fc42

2.40.2-9.fc42

libfdisk

2.40.2-8.fc42

2.40.2-9.fc42

atk

2.54.0-1.fc42

2.55.0-1.fc42

at-spi2-atk

2.54.0-1.fc42

2.55.0-1.fc42

cmake-filesystem

3.31.3-1.fc42

3.31.4-1.fc42

gettext

0.23-1.fc42

0.23.1-1.fc42

libblkid

2.40.2-8.fc42

2.40.2-9.fc42

libxcrypt-devel

4.4.37-4.fc42

4.4.37-6.fc42

libtool-ltdl

2.5.4-1.fc42

2.5.4-2.fc42

rpm-build-libs

4.20.0-1.fc42

4.20.0-5.fc42

at-spi2-atk-devel

2.54.0-1.fc42

2.55.0-1.fc42

harfbuzz-devel

10.1.0-2.fc42

10.2.0-1.fc42

shadow-utils

2:4.17.0-2.fc42

2:4.17.0-3.fc42

cyrus-sasl-lib

2.1.28-27.fc41

2.1.28-28.fc42

libusb1

1.0.27-4.fc42

1.0.27-5.fc42

gettext-runtime

0.23-1.fc42

0.23.1-1.fc42

libxcrypt

4.4.37-4.fc42

4.4.37-6.fc42

fedora-release-identity-basic

42-0.12

42-0.13

mesa-filesystem

24.3.2-1.fc42

24.3.3-1.fc42

at-spi2-core

2.54.0-1.fc42

2.55.0-1.fc42

fedora-release

42-0.12

42-0.13

mesa-libEGL

24.3.2-1.fc42

24.3.3-1.fc42

fedora-release-common

42-0.12

42-0.13

mesa-libgbm

24.3.2-1.fc42

24.3.3-1.fc42

lm_sensors-libs

3.6.0-20.fc41

3.6.0-21.fc42

harfbuzz-icu

10.1.0-2.fc42

10.2.0-1.fc42

mesa-dri-drivers

24.3.2-1.fc42

24.3.3-1.fc42

mesa-libGL

24.3.2-1.fc42

24.3.3-1.fc42

harfbuzz-cairo

10.1.0-2.fc42

10.2.0-1.fc42

gettext-libs

0.23-1.fc42

0.23.1-1.fc42

mesa-libglapi

24.3.2-1.fc42

24.3.3-1.fc42

libtextstyle

0.23-1.fc42

0.23.1-1.fc42

systemd-rpm-macros

257.2-1.fc42

257.2-7.fc42

libblkid-devel

2.40.2-8.fc42

2.40.2-9.fc42

info

7.1.1-2.fc42

7.2-1.fc42

libsoup3

3.6.1-1.fc42

3.6.3-1.fc42

at-spi2-core-devel

2.54.0-1.fc42

2.55.0-1.fc42

systemd-devel

257.2-1.fc42

257.2-7.fc42

gettext-envsubst

0.23-1.fc42

0.23.1-1.fc42

show 59 more collapse

Real build: coq-8.20.0-1.fc42

127725619

2025-01-10 03:36:31

aarch64

├127725633 ( build.log | root.log )

ppc64le

├127725634 ( build.log | root.log )

s390x

├127725635 ( build.log | root.log )

x86_64

└127725632 ( build.log | root.log )

java-21-openjdk

1:21.0.5.0.11-1.fc42

ocaml-zarith-devel

1.14-2.fc41

1.14-4.fc42

ocaml-ocamldoc

5.2.0-3.fc41

5.3.0-1.fc42

ocaml-lablgtk3-sourceview3-devel

3.1.5-3.fc41

3.1.5-4.fc42

ocaml

5.2.0-3.fc41

5.3.0-1.fc42

ocaml-ounit-devel

2.2.7-12.fc42

2.2.7-13.fc42

ocaml-dune

3.16.1-1.fc42

3.17.1-1.fc42

ocaml-findlib-devel

1.9.6-14.fc41

1.9.8-1.fc42

ocaml-cairo-devel

2:0.6.4-14.fc41

2:0.6.5-1.fc42

libselinux

3.8-0.rc3.1.fc42

3.8-0.rc3.1.fc42.1

ocaml-compiler-libs

5.2.0-3.fc41

5.3.0-1.fc42

xorg-x11-fonts-Type1

7.5-39.fc41

ocaml-lablgtk3-devel

3.1.5-3.fc41

3.1.5-4.fc42

ocaml-runtime

5.2.0-3.fc41

5.3.0-1.fc42

ocaml-ounit

2.2.7-12.fc42

2.2.7-13.fc42

zlib-ng-compat

2.2.2-1.fc42

2.2.3-1.fc42

ocaml-findlib

1.9.6-14.fc41

1.9.8-1.fc42

java-21-openjdk-headless

1:21.0.5.0.11-1.fc42

ocaml-cairo

2:0.6.4-14.fc41

2:0.6.5-1.fc42

ocaml-lablgtk3

3.1.5-3.fc41

3.1.5-4.fc42

openssl-libs

1:3.2.2-10.fc42

1:3.2.2-11.fc42

ocaml-rpm-macros

5.2.0-3.fc41

5.3.0-1.fc42

ocaml-lablgtk3-sourceview3

3.1.5-3.fc41

3.1.5-4.fc42

ocaml-zarith

1.14-2.fc41

1.14-4.fc42

glibc

2.40.9000-26.fc42

2.40.9000-27.fc42

flexiblas-netlib

3.4.4-3.fc41

3.4.4-5.fc42

glibc-gconv-extra

2.40.9000-26.fc42

2.40.9000-27.fc42

cups-libs

1:2.4.11-8.fc42

1:2.4.11-9.fc42

glibc-devel

2.40.9000-26.fc42

2.40.9000-27.fc42

glibc-common

2.40.9000-26.fc42

2.40.9000-27.fc42

pango

1.54.0-2.fc41

1.55.0-1.fc42

zlib-ng-compat-devel

2.2.2-1.fc42

2.2.3-1.fc42

glibc-minimal-langpack

2.40.9000-26.fc42

2.40.9000-27.fc42

copy-jdk-configs

4.1-6.fc41

ttmkfdir

3.0.9-71.fc41

lksctp-tools

1.0.20-1.fc42

mkfontscale

1.2.3-1.fc41

tzdata-java

2024b-1.fc42

nss

3.107.0-1.fc42

alsa-lib

1.2.13-3.fc42

nss-util

3.107.0-1.fc42

systemd-libs

257.1-1.fc42

257.2-1.fc42

libselinux-devel

3.8-0.rc3.1.fc42

3.8-0.rc3.1.fc42.1

flexiblas

3.4.4-3.fc41

3.4.4-5.fc42

cups-filesystem

1:2.4.11-8.fc42

1:2.4.11-9.fc42

pango-devel

1.54.0-2.fc41

1.55.0-1.fc42

flexiblas-openblas-openmp

3.4.4-3.fc41

3.4.4-5.fc42

audit-libs

4.0.2-1.fc41

4.0.3-1.fc42

lua-posix

36.2.1-7.fc41

lua

5.4.7-1.fc42

nss-sysinit

3.107.0-1.fc42

nspr

4.36.0-2.fc42

nss-softokn

3.107.0-1.fc42

libfontenc

1.1.8-2.fc41

systemd-rpm-macros

257.1-1.fc42

257.2-1.fc42

1.20.2-2.fc41

1.21-1.fc42

systemd-devel

257.1-1.fc42

257.2-1.fc42

nss-softokn-freebl

3.107.0-1.fc42

show 48 more collapse

127632496

2025-01-07 14:27:47

aarch64

├127632598 ( build.log | root.log )

ppc64le

├127632600 ( build.log | root.log )

x86_64

└127632599 ( build.log | root.log )

pyproject-rpm-macros

1.16.3-1.fc42

1.16.4-1.fc42

glibc

2.40.9000-25.fc42

2.40.9000-26.fc42

redhat-rpm-config

296-1.fc42

300-1.fc42

filesystem-srpm-macros

3.18-29.fc42

glibc-minimal-langpack

2.40.9000-25.fc42

2.40.9000-26.fc42

glibc-common

2.40.9000-25.fc42

2.40.9000-26.fc42

glibc-devel

2.40.9000-25.fc42

2.40.9000-26.fc42

pyproject-srpm-macros

1.16.3-1.fc42

1.16.4-1.fc42

glibc-gconv-extra

2.40.9000-25.fc42

2.40.9000-26.fc42

libedit

3.1-53.20240808cv...

3.1-54.20250104cv...

libcom_err

1.47.1-6.fc42

1.47.2-1.fc42

libxcrypt-devel

4.4.37-1.fc42

4.4.37-4.fc42

kernel-headers

6.13.0-0.rc5.42.fc42

6.13.0-0.rc6.48.fc42

google-noto-sans-vf-fonts

20240901-1.fc42

20250101-1.fc42

hwdata

0.390-1.fc42

0.391-1.fc42

fedora-release

42-0.11

42-0.12

libxcrypt

4.4.37-1.fc42

4.4.37-4.fc42

libicu-devel

76.1-1.fc42

76.1-2.fc42

libicu

76.1-1.fc42

76.1-2.fc42

fedora-release-identity-basic

42-0.11

42-0.12

fedora-release-common

42-0.11

42-0.12

google-noto-fonts-common

20240901-1.fc42

20250101-1.fc42

show 12 more collapse