Koschei
Collections
Packages
Groups
Stats
Log in
Search
coq
Fedora Rawhide
Fedora 37
Fedora 36
Fedora 35
EPEL 9
EPEL 8
EPEL 7
Package information
State
ok
Packages
Bodhi
Dist-git
Bugzilla
Koji
File new FTBFS bug
Scheduler parameters
Tracked by Koschei
True
Current priority
861
Manual priority
0
Static priority
0
Arch override
None
Skip resolution
False
Configure scheduling
Tracked by Koschei
Manual priority
Skip resolution
Arch override
Cancel
Save
Dependency changes since last build
libtirpc
1.3.
2
-1.rc4.fc36
1.3.
3
-0.fc36
3
filesystem
3.18-
1
.fc36
3.18-
2
.fc36
3
coreutils
9.0-
7
.fc36
9.0-
8
.fc36
3
go-srpm-macros
3.
0
.15-1.fc36
3.
1
.0-4.fc36
3
coreutils-common
9.0-
7
.fc36
9.0-
8
.fc36
4
libwebp
1.2.
3
-1.fc36
1.2.
4
-1.fc36
4
mesa-libglapi
22.1.
4
-2.fc36
22.1.
5
-2.fc36
B
shadow-utils
2:4.11.1-
2
.fc36
2:4.11.1-
3
.fc36
B
mesa-libEGL
22.1.
4
-2.fc36
22.1.
5
-2.fc36
B
mesa-libGL
22.1.
4
-2.fc36
22.1.
5
-2.fc36
B
mesa-libgbm
22.1.
4
-2.fc36
22.1.
5
-2.fc36
B
show 1 more
collapse
State overview
Fedora Rawhide
Fedora 37
Fedora 36
Fedora 35
Groups
This package is not part of any global group.
Most recent builds
complete
90569739
2022-08-07 11:27:34
aarch64
├90569823
(
build.log
|
root.log
)
ppc64le
├90569822
(
build.log
|
root.log
)
x86_64
└90569821
(
build.log
|
root.log
)
python3-devel
3.10.
5
-2.fc36
3.10.
6
-1.fc36
1
python3
3.10.
5
-2.fc36
3.10.
6
-1.fc36
2
python3-libs
3.10.
5
-2.fc36
3.10.
6
-1.fc36
2
gnutls
3.7.
6
-3.fc36
3.7.
7
-1.fc36
3
python3-markupsafe
2.
0
.0-3.fc36
2.
1
.1-1.fc36
3
cups-libs
1:2.4.2-
1
.fc36
1:2.4.2-
3
.fc36
3
rust-srpm-macros
21
-1.fc36
22
-1.fc36
3
coreutils
9.0-
5
.fc36
9.0-
7
.fc36
3
ca-certificates
2022.2.54-1.
0
.fc36
2022.2.54-1.
2
.fc36
3
rpm
4.17.1-
2
.fc36
4.17.1-
3
.fc36
3
vim-filesystem
2:9.0.
077
-1.fc36
2:9.0.
137
-1.fc36
3
libtiff
4.4.0-
2
.fc36
4.4.0-
4
.fc36
3
filesystem
3.
16
-2.fc36
3.
18
-1.fc36
3
rpm-libs
4.17.1-
2
.fc36
4.17.1-
3
.fc36
4
langpacks-core-font-en
3.0-
23
.fc36
3.0-
25
.fc36
4
libtiff-devel
4.4.0-
2
.fc36
4.4.0-
4
.fc36
4
coreutils-common
9.0-
5
.fc36
9.0-
7
.fc36
4
rpm-build
4.17.1-
2
.fc36
4.17.1-
3
.fc36
B
google-noto-fonts-common
20201206-
9
.fc36
20201206-
10
.fc36
B
google-noto-sans-vf-fonts
20201206-
9
.fc36
20201206-
10
.fc36
B
rpm-build-libs
4.17.1-
2
.fc36
4.17.1-
3
.fc36
B
show 11 more
collapse
complete
90251223
2022-07-30 05:31:09
aarch64
├90251388
(
build.log
|
root.log
)
ppc64le
├90251389
(
build.log
|
root.log
)
x86_64
└90251387
(
build.log
|
root.log
)
python3-antlr4-runtime
4.9.3-
5
.fc36
4.9.3-
6
.fc36
1
antlr4
4.9.3-
5
.fc36
4.9.3-
6
.fc36
1
antlr4-runtime
4.9.3-
5
.fc36
4.9.3-
6
.fc36
2
python3-rpm-macros
3.10-
18
.fc36
3.10-
19
.fc36
2
java-17-openjdk-headless
1:17.0.
3
.0.7-2.fc36
1:17.0.
4
.0.8-1.fc36
2
python-rpm-macros
3.10-
18
.fc36
3.10-
19
.fc36
2
libtirpc
1.3.2-1.
rc1
.fc36.1
1.3.2-1.
rc4
.fc36
3
python-srpm-macros
3.10-
18
.fc36
3.10-
19
.fc36
3
qt5-srpm-macros
5.15.
3
-1.fc36
5.15.
5
-2.fc36
3
vim-filesystem
2:9.0.
049
-1.fc36
2:9.0.
077
-1.fc36
3
annobin-plugin-gcc
10.
76
-1.fc36
10.
79
-1.fc36
3
annobin-docs
10.
76
-1.fc36
10.
79
-1.fc36
4
lua
5.4.4-
1
.fc36
5.4.4-
3
.fc36
4
setup
2.
13
.10-1.fc36
2.
14
.1-1.fc36
4
mesa-libglapi
22.1.4-
1
.fc36
22.1.4-
2
.fc36
B
mesa-libgbm
22.1.4-
1
.fc36
22.1.4-
2
.fc36
B
mesa-libGL
22.1.4-
1
.fc36
22.1.4-
2
.fc36
B
perl-HTTP-Tiny
0.
080
-2.fc36
0.
082
-1.fc36
B
lua-libs
5.4.4-
1
.fc36
5.4.4-
3
.fc36
B
mesa-libEGL
22.1.4-
1
.fc36
22.1.4-
2
.fc36
B
perl-Module-CoreList
1:5.
20220620
-1.fc36
1:5.
20220720
-1.fc36
B
show 11 more
collapse
complete
89996645
2022-07-25 04:17:56
aarch64
├89996711
(
build.log
|
root.log
)
ppc64le
├89996712
(
build.log
|
root.log
)
x86_64
└89996709
(
build.log
|
root.log
)
glibc
2.35-
14
.fc36
2.35-
15
.fc36
2
appstream-data
36-
2
.fc36
36-
3
.fc36
2
glibc-minimal-langpack
2.35-
14
.fc36
2.35-
15
.fc36
3
glibc-devel
2.35-
14
.fc36
2.35-
15
.fc36
3
nss
3.
79
.0-1.fc36
3.
81
.0-1.fc36
3
glibc-gconv-extra
2.35-
14
.fc36
2.35-
15
.fc36
3
gdk-pixbuf2-devel
2.42.8-
2
.fc36
2.42.8-
3
.fc36
3
glibc-common
2.35-
14
.fc36
2.35-
15
.fc36
3
flexiblas-netlib
3.2.
0
-4.fc36
3.2.
1
-1.fc36
3
ca-certificates
2021
.2.52-3.fc36
2022
.2.54-1.0.fc36
3
gdk-pixbuf2
2.42.8-
2
.fc36
2.42.8-
3
.fc36
3
pam
1.5.2-
12
.fc36
1.5.2-
13
.fc36
4
nspr
4.34.0-
1
.fc36
4.34.0-
3
.fc36
4
flexiblas-openblas-openmp
3.2.
0
-4.fc36
3.2.
1
-1.fc36
4
nss-softokn
3.
79
.0-1.fc36
3.
81
.0-1.fc36
4
gdk-pixbuf2-modules
2.42.8-
2
.fc36
2.42.8-
3
.fc36
4
kernel-headers
5.18.
4
-200.fc36
5.18.
13
-200.fc36
4
pam-libs
1.5.2-
12
.fc36
1.5.2-
13
.fc36
4
nss-util
3.
79
.0-1.fc36
3.
81
.0-1.fc36
4
glibc-headers-x86
2.35-
14
.fc36
2.35-
15
.fc36
4
nss-sysinit
3.
79
.0-1.fc36
3.
81
.0-1.fc36
4
flexiblas
3.2.
0
-4.fc36
3.2.
1
-1.fc36
4
libwebp
1.2.
2
-4.fc36
1.2.
3
-1.fc36
4
nss-softokn-freebl
3.
79
.0-1.fc36
3.
81
.0-1.fc36
B
mesa-libglapi
22.1.
3
-3.fc36
22.1.
4
-1.fc36
B
mesa-libgbm
22.1.
3
-3.fc36
22.1.
4
-1.fc36
B
mesa-libGL
22.1.
3
-3.fc36
22.1.
4
-1.fc36
B
mesa-libEGL
22.1.
3
-3.fc36
22.1.
4
-1.fc36
B
show 18 more
collapse
complete
89717616
2022-07-20 05:11:31
aarch64
├89717686
(
build.log
|
root.log
)
ppc64le
├89717687
(
build.log
|
root.log
)
x86_64
└89717685
(
build.log
|
root.log
)
emacs-filesystem
1:27
.2-11.fc36
1:28
.1-2.fc36
2
libcurl
7.82.0-
6
.fc36
7.82.0-
7
.fc36
2
rpm
4.17.
0
-10.fc36
4.17.
1
-2.fc36
3
gdk-pixbuf2
2.42.8-
1
.fc36
2.42.8-
2
.fc36
3
libidn2
2.3.
2
-4.fc36
2.3.
3
-1.fc36
3
gdk-pixbuf2-devel
2.42.8-
1
.fc36
2.42.8-
2
.fc36
3
harfbuzz
4.0.0-
1
.fc36
4.0.0-
2
.fc36
3
libtiff
4.4.0-
1
.fc36
4.4.0-
2
.fc36
3
curl
7.82.0-
6
.fc36
7.82.0-
7
.fc36
4
rpm-libs
4.17.
0
-10.fc36
4.17.
1
-2.fc36
4
libarchive
3.5.3-
2
.fc36
3.5.3-
3
.fc36
4
gdk-pixbuf2-modules
2.42.8-
1
.fc36
2.42.8-
2
.fc36
4
harfbuzz-devel
4.0.0-
1
.fc36
4.0.0-
2
.fc36
4
systemd-libs
250.
7
-1.fc36
250.
8
-1.fc36
4
libtiff-devel
4.4.0-
1
.fc36
4.4.0-
2
.fc36
4
mesa-libGL
22.1.3-
1
.fc36
22.1.3-
3
.fc36
B
mesa-libglapi
22.1.3-
1
.fc36
22.1.3-
3
.fc36
B
mesa-libgbm
22.1.3-
1
.fc36
22.1.3-
3
.fc36
B
harfbuzz-icu
4.0.0-
1
.fc36
4.0.0-
2
.fc36
B
fedora-release-common
36-
17
36-
18
B
fedora-release
36-
17
36-
18
B
rpm-build
4.17.
0
-10.fc36
4.17.
1
-2.fc36
B
glib-networking
2.72.
0
-1.fc36
2.72.
1
-1.fc36
B
fedora-release-identity-basic
36-
17
36-
18
B
rpm-build-libs
4.17.
0
-10.fc36
4.17.
1
-2.fc36
B
mesa-libEGL
22.1.3-
1
.fc36
22.1.3-
3
.fc36
B
show 16 more
collapse
complete
89480136
2022-07-14 03:54:49
aarch64
├89480192
(
build.log
|
root.log
)
ppc64le
├89480191
(
build.log
|
root.log
)
x86_64
└89480190
(
build.log
|
root.log
)
openssl-libs
1:3.0.
3
-1.fc36
1:3.0.
5
-1.fc36
2
glib2
2.72.
2
-1.fc36
2.72.
3
-1.fc36
2
vim-filesystem
2:8
.2.5172-1.fc36
2:9
.0.049-1.fc36
3
freetype
2.12.1-
1
.fc36
2.12.1-
2
.fc36
3
pango
1.50.
7
-1.fc36
1.50.
8
-1.fc36
3
pango-devel
1.50.
7
-1.fc36
1.50.
8
-1.fc36
3
glib2-devel
2.72.
2
-1.fc36
2.72.
3
-1.fc36
3
alsa-lib
1.2.7.
1
-1.fc36
1.2.7.
2
-1.fc36
3
freetype-devel
2.12.1-
1
.fc36
2.12.1-
2
.fc36
4
perl-Socket
4:2.
034
-1.fc36
4:2.
035
-1.fc36
4
libtracker-sparql
3.3.
1
-1.fc36
3.3.
2
-1.fc36
4
show 1 more
collapse
complete
89182602
2022-07-07 05:41:59
aarch64
├89182659
(
build.log
|
root.log
)
ppc64le
├89182661
(
build.log
|
root.log
)
x86_64
└89182660
(
build.log
|
root.log
)
netpbm-progs
10.
97
.00-2.fc36
10.
99
.00-1.fc36
2
glibc
2.35-
12
.fc36
2.35-
14
.fc36
2
flexiblas-netlib
3.2.0-
2
.fc36
3.2.0-
4
.fc36
3
glibc-devel
2.35-
12
.fc36
2.35-
14
.fc36
3
glibc-minimal-langpack
2.35-
12
.fc36
2.35-
14
.fc36
3
glibc-gconv-extra
2.35-
12
.fc36
2.35-
14
.fc36
3
netpbm
10.
97
.00-2.fc36
10.
99
.00-1.fc36
3
glibc-common
2.35-
12
.fc36
2.35-
14
.fc36
3
flexiblas-openblas-openmp
3.2.0-
2
.fc36
3.2.0-
4
.fc36
4
glibc-headers-x86
2.35-
12
.fc36
2.35-
14
.fc36
4
flexiblas
3.2.0-
2
.fc36
3.2.0-
4
.fc36
4
hwdata
0.
360
-1.fc36
0.
361
-1.fc36
B
mesa-libgbm
22.1.
2
-1.fc36
22.1.
3
-1.fc36
B
mesa-libEGL
22.1.
2
-1.fc36
22.1.
3
-1.fc36
B
mesa-libglapi
22.1.
2
-1.fc36
22.1.
3
-1.fc36
B
mesa-libGL
22.1.
2
-1.fc36
22.1.
3
-1.fc36
B
show 6 more
collapse
complete
88957306
2022-07-01 14:59:54
aarch64
├88957363
(
build.log
|
root.log
)
ppc64le
├88957365
(
build.log
|
root.log
)
x86_64
└88957364
(
build.log
|
root.log
)
antlr4
4.9.3-
4
.fc36
4.9.3-
5
.fc36
1
python3-antlr4-runtime
4.9.3-
4
.fc36
4.9.3-
5
.fc36
1
pyproject-rpm-macros
1.3.
1
-1.fc36
1.3.
2
-1.fc36
2
java-17-openjdk-headless
1:17.0.3.0.7-
1
.fc36
1:17.0.3.0.7-
2
.fc36
2
glibc
2.35-
11
.fc36
2.35-
12
.fc36
2
libcurl
7.82.0-
5
.fc36
7.82.0-
6
.fc36
2
antlr4-runtime
4.9.3-
4
.fc36
4.9.3-
5
.fc36
2
glibc-devel
2.35-
11
.fc36
2.35-
12
.fc36
3
glibc-minimal-langpack
2.35-
11
.fc36
2.35-
12
.fc36
3
gc
8.0.6-
2
.fc36
8.0.6-
3
.fc36
3
dwz
0.14-
2
.fc35
0.14-
4
.fc36
3
vim-filesystem
2:8.2.
5085
-1.fc36
2:8.2.
5172
-1.fc36
3
glibc-gconv-extra
2.35-
11
.fc36
2.35-
12
.fc36
3
gnutls
3.7.6-
1
.fc36
3.7.6-
3
.fc36
3
glibc-common
2.35-
11
.fc36
2.35-
12
.fc36
3
openldap
2.6.2-
1
.fc36
2.6.2-
2
.fc36
3
perl-Socket
4:2.
033
-1.fc36
4:2.
034
-1.fc36
4
openldap-compat
2.6.2-
1
.fc36
2.6.2-
2
.fc36
4
curl
7.82.0-
5
.fc36
7.82.0-
6
.fc36
4
glibc-headers-x86
2.35-
11
.fc36
2.35-
12
.fc36
4
perl-Filter
2:1.
60
-6.fc36
2:1.
61
-1.fc36
B
perl-libwww-perl
6.
66
-1.fc36
6.
67
-1.fc36
B
perl-Lingua-Translit
0.
28
-14.fc36
0.
29
-1.fc36
B
perl-Module-CoreList
1:5.
20220527
-1.fc36
1:5.
20220620
-1.fc36
B
libproxy
0.4.
17
-4.fc36
0.4.
18
-1.fc36
B
show 15 more
collapse
Real build:
coq-8.15.2-1.fc36
complete
88593417
2022-06-22 14:51:52
aarch64
├88593432
(
build.log
|
root.log
)
armhfp
├88593429
(
build.log
|
root.log
)
i386
├88593430
(
build.log
|
root.log
)
ppc64le
├88593433
(
build.log
|
root.log
)
s390x
├88593434
(
build.log
|
root.log
)
x86_64
└88593431
(
build.log
|
root.log
)
No dependency changes
Previous history