coq

Package information

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

Scheduler parameters

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

No dependency changes

State overview

Groups

This package is not part of any global group.

Historical builds

complete
119132125
2024-06-17 05:27:07
aarch64
├119132178 ( build.log | root.log )
x86_64
└119132177 ( build.log | root.log )
libappstream-glib
0.8.2-6.fc40
0.8.3-1.fc40
1
glibc
2.39-13.fc40
2.39-15.fc40
2
zlib-ng-compat
2.1.6-2.fc40
2.1.6-5.fc40
2
libgcc
14.1.1-4.fc40
14.1.1-5.fc40
2
gcc
14.1.1-4.fc40
14.1.1-5.fc40
2
zlib-ng-compat-devel
2.1.6-2.fc40
2.1.6-5.fc40
3
glibc-devel
2.39-13.fc40
2.39-15.fc40
3
fontconfig
2.15.0-4.fc40
2.15.0-6.fc40
3
alsa-lib
1.2.11-2.fc40
1.2.12-1.fc40
3
fontconfig-devel
2.15.0-4.fc40
2.15.0-6.fc40
3
glibc-gconv-extra
2.39-13.fc40
2.39-15.fc40
3
glibc-minimal-langpack
2.39-13.fc40
2.39-15.fc40
3
glibc-common
2.39-13.fc40
2.39-15.fc40
3
libgomp
14.1.1-4.fc40
14.1.1-5.fc40
3
libxml2-devel
2.12.7-1.fc40
2.12.8-1.fc40
3
libxml2
2.12.7-1.fc40
2.12.8-1.fc40
3
gcc-plugin-annobin
14.1.1-4.fc40
14.1.1-5.fc40
3
nss
3.100.0-1.fc40
3.101.0-1.fc40
3
cpp
14.1.1-4.fc40
14.1.1-5.fc40
3
kernel-headers
6.8.3-300.fc40
6.9.4-200.fc40
4
nss-util
3.100.0-1.fc40
3.101.0-1.fc40
4
nspr
4.35.0-23.fc40
4.35.0-24.fc40
4
glibc-headers-x86
2.39-13.fc40
2.39-15.fc40
4
libstdc++
14.1.1-4.fc40
14.1.1-5.fc40
4
nss-softokn
3.100.0-1.fc40
3.101.0-1.fc40
4
nss-sysinit
3.100.0-1.fc40
3.101.0-1.fc40
4
libquadmath
14.1.1-4.fc40
14.1.1-5.fc40
4
libgfortran
14.1.1-4.fc40
14.1.1-5.fc40
4
mesa-libgbm
24.0.8-1.fc40
24.1.1-5.fc40
B
mesa-libEGL
24.0.8-1.fc40
24.1.1-5.fc40
B
nss-softokn-freebl
3.100.0-1.fc40
3.101.0-1.fc40
B
mesa-libglapi
24.0.8-1.fc40
24.1.1-5.fc40
B
mesa-libGL
24.0.8-1.fc40
24.1.1-5.fc40
B
complete
118753020
2024-06-08 11:27:02
aarch64
├118753185 ( build.log | root.log )
x86_64
└118753184 ( build.log | root.log )
git-core
2.45.1-1.fc40
2.45.2-2.fc40
1
adwaita-icon-theme
46.0-1.fc40
46.2-2.fc40
1
libarchive
3.7.2-3.fc40
3.7.2-4.fc40
2
adwaita-cursor-theme
46.0-1.fc40
46.2-2.fc40
2
adwaita-icon-theme-legacy
46.2-1.fc40
2
flexiblas-netlib
3.4.2-1.fc40
3.4.4-1.fc40
3
nss
3.99.0-1.fc40
3.100.0-1.fc40
3
qt5-srpm-macros
5.15.13-1.fc40
5.15.14-1.fc40
3
pam
1.6.1-1.fc40
1.6.1-3.fc40
4
xorg-x11-proto-devel
2024.1-1.fc40
2024.1-2.fc40
4
flexiblas-openblas-openmp
3.4.2-1.fc40
3.4.4-1.fc40
4
nss-sysinit
3.99.0-1.fc40
3.100.0-1.fc40
4
nss-util
3.99.0-1.fc40
3.100.0-1.fc40
4
nss-softokn
3.99.0-1.fc40
3.100.0-1.fc40
4
nspr
4.35.0-22.fc40
4.35.0-23.fc40
4
pam-libs
1.6.1-1.fc40
1.6.1-3.fc40
4
flexiblas
3.4.2-1.fc40
3.4.4-1.fc40
4
nss-softokn-freebl
3.99.0-1.fc40
3.100.0-1.fc40
B
libdrm
2.4.120-3.fc40
2.4.121-1.fc40
B
libeconf
0.6.2-1.fc40
0.6.2-2.fc40
B
shadow-utils
2:4.15.1-2.fc40
2:4.15.1-3.fc40
B
hwdata
0.382-1.fc40
0.383-1.fc40
B
complete
118277252
2024-05-30 09:00:28
aarch64
├118277497 ( build.log | root.log )
x86_64
└118277498 ( build.log | root.log )
git-core
2.45.0-1.fc40
2.45.1-1.fc40
1
texlive-base
11:20230311-81.fc40
11:20230311-82.fc40
1
libgcc
14.1.1-1.fc40
14.1.1-4.fc40
2
gcc
14.1.1-1.fc40
14.1.1-4.fc40
2
glibc
2.39-8.fc40
2.39-13.fc40
2
qt6-srpm-macros
6.7.0-1.fc40
6.7.1-1.fc40
3
rust-srpm-macros
26.2-1.fc40
26.3-1.fc40
3
libxml2-devel
2.12.6-1.fc40
2.12.7-1.fc40
3
cups-libs
1:2.4.7-13.fc40
1:2.4.8-3.fc40
3
libgomp
14.1.1-1.fc40
14.1.1-4.fc40
3
libedit
3.1-50.20230828cv...
3.1-51.20240517cv...
3
mpfr
4.2.1-3.fc40
4.2.1-4.fc40
3
glibc-common
2.39-8.fc40
2.39-13.fc40
3
libxml2
2.12.6-1.fc40
2.12.7-1.fc40
3
cpp
14.1.1-1.fc40
14.1.1-4.fc40
3
gtk3
3.24.41-1.fc40
3.24.42-2.fc40
3
glibc-minimal-langpack
2.39-8.fc40
2.39-13.fc40
3
rpm-sequoia
1.6.0-2.fc40
1.6.0-3.fc40
3
shared-mime-info
2.3-4.fc40
2.3-5.fc40
3
alternatives
1.26-3.fc40
1.27-1.fc40
3
crypto-policies
20240201-2.git9f501f3....
20240510-1.gitd287a42....
3
gtk3-devel
3.24.41-1.fc40
3.24.42-2.fc40
3
gcc-plugin-annobin
14.1.1-1.fc40
14.1.1-4.fc40
3
glibc-devel
2.39-8.fc40
2.39-13.fc40
3
glibc-gconv-extra
2.39-8.fc40
2.39-13.fc40
3
libgfortran
14.1.1-1.fc40
14.1.1-4.fc40
4
crypto-policies-scripts
20240201-2.git9f501f3....
20240510-1.gitd287a42....
4
harfbuzz
8.3.0-5.fc40
8.4.0-1.fc40
4
libstdc++
14.1.1-1.fc40
14.1.1-4.fc40
4
gdb-minimal
14.2-1.fc40
14.2-2.fc40
4
gtk-update-icon-cache
3.24.41-1.fc40
3.24.42-2.fc40
4
pam-libs
1.6.0-2.fc40
1.6.1-1.fc40
4
glibc-headers-x86
2.39-8.fc40
2.39-13.fc40
4
pam
1.6.0-2.fc40
1.6.1-1.fc40
4
systemd-libs
255.6-1.fc40
255.7-1.fc40
4
libquadmath
14.1.1-1.fc40
14.1.1-4.fc40
4
harfbuzz-devel
8.3.0-5.fc40
8.4.0-1.fc40
4
mesa-libgbm
24.0.6-2.fc40
24.0.8-1.fc40
B
fedora-gpg-keys
40-1
40-2
B
fedora-repos
40-1
40-2
B
mesa-libGL
24.0.6-2.fc40
24.0.8-1.fc40
B
harfbuzz-icu
8.3.0-5.fc40
8.4.0-1.fc40
B
mesa-libEGL
24.0.6-2.fc40
24.0.8-1.fc40
B
mesa-libglapi
24.0.6-2.fc40
24.0.8-1.fc40
B
2024-05-28 03:52:07
Package dependencies resolved successfuly
Koschei version 2afbb17
Authors: Michael Simacek, Mikolaj Izdebski
Copyright © 2014-2018 Red Hat Inc.
User documentation
Project page on GitHub
Reporting issues