coq

Package information

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

Scheduler parameters

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

Most recent builds

complete
117218418
2024-05-04 00:27:11
aarch64
├117218528 ( build.log | root.log )
x86_64
└117218527 ( build.log | root.log )
git-core
2.44.0-1.fc40
2.45.0-1.fc40
1
ocaml-dune
3.15.0-2.fc40
3.15.2-1.fc40
1
python3-devel
3.12.2-2.fc40
3.12.3-2.fc40
1
icu4j
1:74.2-4.fc40
1:75.1-1.fc40
2
python3
3.12.2-2.fc40
3.12.3-2.fc40
2
python3-libs
3.12.2-2.fc40
3.12.3-2.fc40
2
emacs-filesystem
1:29.3-5.fc40
1:29.3-6.fc40
2
pixman-devel
0.43.0-3.fc40
0.43.4-1.fc40
3
forge-srpm-macros
0.2.0-3.fc40
0.3.1-1.fc40
3
libxcb-devel
1.16-4.fc40
1.17.0-1.fc40
3
annobin-plugin-gcc
12.46-1.fc40
12.51-1.fc40
3
libX11-devel
1.8.7-3.fc40
1.8.9-1.fc40
3
qt6-srpm-macros
6.6.2-1.fc40
6.7.0-1.fc40
3
libX11
1.8.7-3.fc40
1.8.9-1.fc40
4
default-fonts-core-sans
4.0-12.fc40
4.0-13.fc40
4
libX11-xcb
1.8.7-3.fc40
1.8.9-1.fc40
4
annobin-docs
12.46-1.fc40
12.51-1.fc40
4
libtracker-sparql
3.7.1-1.fc40
3.7.2-1.fc40
4
pixman
0.43.0-3.fc40
0.43.4-1.fc40
4
libxcb
1.16-4.fc40
1.17.0-1.fc40
4
mesa-libEGL
24.0.5-1.fc40
24.0.6-2.fc40
B
ed
1.20.1-1.fc40
1.20.2-1.fc40
B
libgusb
0.4.8-3.fc40
0.4.9-1.fc40
B
mesa-libglapi
24.0.5-1.fc40
24.0.6-2.fc40
B
libX11-common
1.8.7-3.fc40
1.8.9-1.fc40
B
mesa-libgbm
24.0.5-1.fc40
24.0.6-2.fc40
B
mesa-libGL
24.0.5-1.fc40
24.0.6-2.fc40
B
complete
116647548
2024-04-20 13:07:13
aarch64
├116647693 ( build.log | root.log )
x86_64
└116647694 ( build.log | root.log )
ocaml-dune
3.14.2-1.fc40
3.15.0-2.fc40
1
rsync
3.2.7-7.fc40
3.3.0-1.fc40
1
libzstd-devel
1.5.5-5.fc40
1.5.6-1.fc40
2
expat
2.6.0-1.fc40
2.6.2-1.fc40
2
libcurl
8.6.0-7.fc40
8.6.0-8.fc40
2
gcc
14.0.1-0.13.fc40
14.0.1-0.15.fc40
2
libgcc
14.0.1-0.13.fc40
14.0.1-0.15.fc40
2
libzstd
1.5.5-5.fc40
1.5.6-1.fc40
2
emacs-filesystem
1:29.2-3.fc40
1:29.3-5.fc40
2
glibc
2.39-6.fc40
2.39-8.fc40
2
libuuid
2.40-0.9.rc1.fc40
2.40-13.fc40
2
cups-libs
1:2.4.7-11.fc40
1:2.4.7-13.fc40
3
glibc-minimal-langpack
2.39-6.fc40
2.39-8.fc40
3
gcc-plugin-annobin
14.0.1-0.13.fc40
14.0.1-0.15.fc40
3
libgomp
14.0.1-0.13.fc40
14.0.1-0.15.fc40
3
libnghttp2
1.59.0-2.fc40
1.59.0-3.fc40
3
pango
1.51.2-1.fc40
1.52.2-1.fc40
3
libcap
2.69-3.fc40
2.69-8.fc40
3
gnutls
3.8.3-2.fc40
3.8.5-1.fc40
3
tzdata
2024a-4.fc40
2024a-5.fc40
3
util-linux
2.40-0.9.rc1.fc40
2.40-13.fc40
3
tzdata-java
2024a-4.fc40
2024a-5.fc40
3
libxml2-devel
2.12.5-1.fc40
2.12.6-1.fc40
3
cpp
14.0.1-0.13.fc40
14.0.1-0.15.fc40
3
annobin-plugin-gcc
12.42-1.fc40
12.46-1.fc40
3
glibc-common
2.39-6.fc40
2.39-8.fc40
3
glibc-gconv-extra
2.39-6.fc40
2.39-8.fc40
3
glibc-devel
2.39-6.fc40
2.39-8.fc40
3
libmount
2.40-0.9.rc1.fc40
2.40-13.fc40
3
libxml2
2.12.5-1.fc40
2.12.6-1.fc40
3
libfdisk
2.40-0.9.rc1.fc40
2.40-13.fc40
4
util-linux-core
2.40-0.9.rc1.fc40
2.40-13.fc40
4
libsmartcols
2.40-0.9.rc1.fc40
2.40-13.fc40
4
libgfortran
14.0.1-0.13.fc40
14.0.1-0.15.fc40
4
libblkid
2.40-0.9.rc1.fc40
2.40-13.fc40
4
zstd
1.5.5-5.fc40
1.5.6-1.fc40
4
libstdc++
14.0.1-0.13.fc40
14.0.1-0.15.fc40
4
pango-devel
1.51.2-1.fc40
1.52.2-1.fc40
4
glibc-headers-x86
2.39-6.fc40
2.39-8.fc40
4
libquadmath
14.0.1-0.13.fc40
14.0.1-0.15.fc40
4
libmount-devel
2.40-0.9.rc1.fc40
2.40-13.fc40
4
xorg-x11-proto-devel
2023.2-4.fc40
2024.1-1.fc40
4
annobin-docs
12.42-1.fc40
12.46-1.fc40
4
curl
8.6.0-7.fc40
8.6.0-8.fc40
4
fedora-release-common
40-38
40-39
B
mesa-libglapi
24.0.4-1.fc40
24.0.5-1.fc40
B
mesa-libGL
24.0.4-1.fc40
24.0.5-1.fc40
B
mesa-libEGL
24.0.4-1.fc40
24.0.5-1.fc40
B
shadow-utils
2:4.15.1-1.fc40
2:4.15.1-2.fc40
B
libblkid-devel
2.40-0.9.rc1.fc40
2.40-13.fc40
B
dbus-broker
35-4.fc40
36-2.fc40
B
fedora-release-identity-basic
40-38
40-39
B
hwdata
0.380-1.fc40
0.381-1.fc40
B
fedora-release
40-38
40-39
B
mesa-libgbm
24.0.4-1.fc40
24.0.5-1.fc40
B
complete
116164053
2024-04-10 06:19:22
aarch64
├116164131 ( build.log | root.log )
x86_64
└116164132 ( build.log | root.log )
libgcc
14.0.1-0.12.fc40
14.0.1-0.13.fc40
2
glibc
2.39-4.fc40
2.39-6.fc40
2
gcc
14.0.1-0.12.fc40
14.0.1-0.13.fc40
2
qt5-srpm-macros
5.15.12-3.fc40
5.15.13-1.fc40
3
tzdata-java
2024a-2.fc40
2024a-4.fc40
3
tzdata
2024a-2.fc40
2024a-4.fc40
3
nss
3.98.0-1.fc40
3.99.0-1.fc40
3
libtirpc
1.3.4-1.rc2.fc40.2
1.3.4-1.rc3.fc40
3
glibc-common
2.39-4.fc40
2.39-6.fc40
3
glibc-gconv-extra
2.39-4.fc40
2.39-6.fc40
3
glibc-minimal-langpack
2.39-4.fc40
2.39-6.fc40
3
glibc-devel
2.39-4.fc40
2.39-6.fc40
3
libgomp
14.0.1-0.12.fc40
14.0.1-0.13.fc40
3
gcc-plugin-annobin
14.0.1-0.12.fc40
14.0.1-0.13.fc40
3
cpp
14.0.1-0.12.fc40
14.0.1-0.13.fc40
3
gdb-minimal
14.1-8.fc40
14.2-1.fc40
4
nss-sysinit
3.98.0-1.fc40
3.99.0-1.fc40
4
nss-softokn
3.98.0-1.fc40
3.99.0-1.fc40
4
glibc-headers-x86
2.39-4.fc40
2.39-6.fc40
4
nss-util
3.98.0-1.fc40
3.99.0-1.fc40
4
libgfortran
14.0.1-0.12.fc40
14.0.1-0.13.fc40
4
kernel-headers
6.8.1-0.fc40
6.8.3-300.fc40
4
libstdc++
14.0.1-0.12.fc40
14.0.1-0.13.fc40
4
libquadmath
14.0.1-0.12.fc40
14.0.1-0.13.fc40
4
nspr
4.35.0-21.fc40
4.35.0-22.fc40
4
fedora-release-common
40-0.37
40-38
B
fedora-gpg-keys
40-0.4
40-1
B
fedora-release-identity-basic
40-0.37
40-38
B
fedora-release
40-0.37
40-38
B
google-noto-sans-vf-fonts
20240201-2.fc40
20240301-2.fc40
B
fedora-repos
40-0.4
40-1
B
mesa-libEGL
24.0.0-2.fc40
24.0.4-1.fc40
B
mesa-libgbm
24.0.0-2.fc40
24.0.4-1.fc40
B
mesa-libGL
24.0.0-2.fc40
24.0.4-1.fc40
B
mesa-libglapi
24.0.0-2.fc40
24.0.4-1.fc40
B
google-noto-fonts-common
20240201-2.fc40
20240301-2.fc40
B
nss-softokn-freebl
3.98.0-1.fc40
3.99.0-1.fc40
B
complete
115676353
2024-03-31 05:31:49
aarch64
├115676448 ( build.log | root.log )
x86_64
└115676449 ( build.log | root.log )
adwaita-icon-theme
46~rc-1.fc40
46.0-1.fc40
1
redhat-rpm-config
285-1.fc40
286-1.fc40
2
glibc
2.39-2.fc40
2.39-4.fc40
2
glib2
2.79.1-1.fc40
2.80.0-1.fc40
2
libgcc
14.0.1-0.8.fc40
14.0.1-0.12.fc40
2
gcc
14.0.1-0.8.fc40
14.0.1-0.12.fc40
2
adwaita-cursor-theme
46~rc-1.fc40
46.0-1.fc40
2
java-21-openjdk-headless
1:21.0.2.0.13-2.fc40
1:21.0.2.0.13-3.fc40
2
gcc-plugin-annobin
14.0.1-0.8.fc40
14.0.1-0.12.fc40
3
cpp
14.0.1-0.8.fc40
14.0.1-0.12.fc40
3
glibc-minimal-langpack
2.39-2.fc40
2.39-4.fc40
3
glibc-common
2.39-2.fc40
2.39-4.fc40
3
glibc-gconv-extra
2.39-2.fc40
2.39-4.fc40
3
ghc-srpm-macros
1.6.1-5.fc40
1.9-1.fc40
3
glib2-devel
2.79.1-1.fc40
2.80.0-1.fc40
3
glibc-devel
2.39-2.fc40
2.39-4.fc40
3
xz-libs
5.4.6-1.fc40
1:5.4.6-3.fc40
3
go-srpm-macros
3.4.0-2.fc40
3.5.0-1.fc40
3
libgomp
14.0.1-0.8.fc40
14.0.1-0.12.fc40
3
libquadmath
14.0.1-0.8.fc40
14.0.1-0.12.fc40
4
glibc-headers-x86
2.39-2.fc40
2.39-4.fc40
4
atk
2.51.91-1.fc40
2.52.0-1.fc40
4
at-spi2-atk-devel
2.51.91-1.fc40
2.52.0-1.fc40
4
libgfortran
14.0.1-0.8.fc40
14.0.1-0.12.fc40
4
sysprof-capture-devel
46~rc-1.fc40
46.0-1.fc40
4
libstdc++
14.0.1-0.8.fc40
14.0.1-0.12.fc40
4
xz-devel
5.4.6-1.fc40
1:5.4.6-3.fc40
4
gettext
0.22.4-2.fc40
0.22.5-2.fc40
4
at-spi2-atk
2.51.91-1.fc40
2.52.0-1.fc40
4
libtracker-sparql
3.7~rc-1.fc40
3.7.1-1.fc40
4
xz
5.4.6-1.fc40
1:5.4.6-3.fc40
4
atk-devel
2.51.91-1.fc40
2.52.0-1.fc40
4
audit-libs
4.0-8.fc40
4.0.1-1.fc40
4
gettext-envsubst
0.22.4-2.fc40
0.22.5-2.fc40
B
gettext-runtime
0.22.4-2.fc40
0.22.5-2.fc40
B
at-spi2-core
2.51.91-1.fc40
2.52.0-1.fc40
B
gettext-libs
0.22.4-2.fc40
0.22.5-2.fc40
B
at-spi2-core-devel
2.51.91-1.fc40
2.52.0-1.fc40
B
complete
115335833
2024-03-23 15:33:05
aarch64
├115335968 ( build.log | root.log )
x86_64
└115335969 ( build.log | root.log )
python3-antlr4-runtime
4.10.1-12.fc40
4.10.1-14.fc40
1
ocaml-dune
3.14.0-1.fc40
3.14.2-1.fc40
1
adwaita-icon-theme
46~beta-2.fc40
46~rc-1.fc40
1
antlr4
4.10.1-12.fc40
4.10.1-14.fc40
1
python3-devel
3.12.2-1.fc40
3.12.2-2.fc40
1
stringtemplate4
4.3.4-3.fc40
4.3.4-4.fc40
2
python3-libs
3.12.2-1.fc40
3.12.2-2.fc40
2
gcc
14.0.1-0.7.fc40
14.0.1-0.8.fc40
2
libgcc
14.0.1-0.7.fc40
14.0.1-0.8.fc40
2
python3
3.12.2-1.fc40
3.12.2-2.fc40
2
adwaita-cursor-theme
46~beta-2.fc40
46~rc-1.fc40
2
antlr4-runtime
4.10.1-12.fc40
4.10.1-14.fc40
2
kernel-srpm-macros
1.0-22.fc40
1.0-23.fc40
3
libssh
0.10.6-4.fc40
0.10.6-5.fc40
3
flexiblas-netlib
3.4.1-3.fc40
3.4.2-1.fc40
3
jasper-libs
4.2.0-1.fc40
4.2.1-1.fc40
3
annobin-plugin-gcc
12.40-1.fc40
12.42-1.fc40
3
gcc-plugin-annobin
14.0.1-0.7.fc40
14.0.1-0.8.fc40
3
libgomp
14.0.1-0.7.fc40
14.0.1-0.8.fc40
3
cpp
14.0.1-0.7.fc40
14.0.1-0.8.fc40
3
rust-srpm-macros
26.1-1.fc40
26.2-1.fc40
3
libssh-config
0.10.6-4.fc40
0.10.6-5.fc40
4
elfutils-debuginfod-client
0.190-6.fc40
0.191-4.fc40
4
sysprof-capture-devel
46~beta-1.fc40
46~rc-1.fc40
4
elfutils
0.190-6.fc40
0.191-4.fc40
4
gettext
0.22-4.fc40
0.22.4-2.fc40
4
flexiblas-openblas-openmp
3.4.1-3.fc40
3.4.2-1.fc40
4
systemd-libs
255.3-1.fc40
255.4-1.fc40
4
atk
2.51.90-1.fc40
2.51.91-1.fc40
4
libstdc++
14.0.1-0.7.fc40
14.0.1-0.8.fc40
4
annobin-docs
12.40-1.fc40
12.42-1.fc40
4
kernel-headers
6.8.0-0.rc6.49.fc40
6.8.1-0.fc40
4
atk-devel
2.51.90-1.fc40
2.51.91-1.fc40
4
libgfortran
14.0.1-0.7.fc40
14.0.1-0.8.fc40
4
elfutils-libelf
0.190-6.fc40
0.191-4.fc40
4
libtracker-sparql
3.7~beta-1.fc40
3.7~rc-1.fc40
4
at-spi2-atk-devel
2.51.90-1.fc40
2.51.91-1.fc40
4
flexiblas
3.4.1-3.fc40
3.4.2-1.fc40
4
at-spi2-atk
2.51.90-1.fc40
2.51.91-1.fc40
4
libquadmath
14.0.1-0.7.fc40
14.0.1-0.8.fc40
4
fedora-release-common
40-0.36
40-0.37
B
libei
1.2.1-1.fc40
fedora-release
40-0.36
40-0.37
B
gettext-libs
0.22-4.fc40
0.22.4-2.fc40
B
at-spi2-core-devel
2.51.90-1.fc40
2.51.91-1.fc40
B
hwdata
0.379-1.fc40
0.380-1.fc40
B
fedora-release-identity-basic
40-0.36
40-0.37
B
shadow-utils
2:4.15.0rc2-1.fc40
2:4.15.1-1.fc40
B
at-spi2-core
2.51.90-1.fc40
2.51.91-1.fc40
B
elfutils-default-yama-scope
0.190-6.fc40
0.191-4.fc40
B
gettext-envsubst
0.22-4.fc40
0.22.4-2.fc40
B
elfutils-libs
0.190-6.fc40
0.191-4.fc40
B
libeconf
0.5.2-3.fc40
0.6.2-1.fc40
B
libusb1
1.0.26-6.fc40
1.0.27-1.fc40
B
gettext-runtime
0.22-4.fc40
0.22.4-2.fc40
B
libei-devel
1.2.1-1.fc40
complete
114784414
2024-03-11 03:01:44
aarch64
├114784492 ( build.log | root.log )
x86_64
└114784491 ( build.log | root.log )
git-core
2.43.2-1.fc40
2.44.0-1.fc40
1
jakarta-json
2.1.3-3.fc40
2.1.3-4.fc40
2
redhat-rpm-config
282-1.fc40
285-1.fc40
2
treelayout
1.0.3-22.fc40
1.0.3-23.fc40
2
java-21-openjdk-headless
1:21.0.2.0.13-2.fc40
2
antlr3-java
1:3.5.3-9.fc40
1:3.5.3-10.fc40
2
javapackages-tools
6.2.0-8.fc40
6.2.0-9.fc40
2
javapackages-filesystem
6.2.0-8.fc40
6.2.0-9.fc40
2
icu4j
1:74.2-3.fc40
1:74.2-4.fc40
2
crypto-policies
20240201-1.git9f501f3....
20240201-2.git9f501f3....
3
crypto-policies-scripts
20240201-1.git9f501f3....
20240201-2.git9f501f3....
4
authselect-libs
1.5.0-4.fc40
1.5.0-5.fc40
4
kernel-headers
6.8.0-0.rc5.41.fc40
6.8.0-0.rc6.49.fc40
4
fedora-release-common
40-0.34
40-0.36
B
authselect
1.5.0-4.fc40
1.5.0-5.fc40
B
fedora-release-identity-basic
40-0.34
40-0.36
B
fedora-gpg-keys
40-0.3
40-0.4
B
fedora-repos
40-0.3
40-0.4
B
java-17-openjdk-headless
1:17.0.10.0.7-1.fc40
fedora-release
40-0.34
40-0.36
B
complete
114022534
2024-02-25 11:15:58
aarch64
├114022587 ( build.log | root.log )
x86_64
└114022586 ( build.log | root.log )
desktop-file-utils
0.26-11.fc40
0.26-12.fc40
1
git-core
2.43.0-3.fc40
2.43.2-1.fc40
1
ocaml-dune
3.13.1-1.fc40
3.14.0-1.fc40
1
adwaita-icon-theme
46~alpha-2.fc40
46~beta-2.fc40
1
libcurl
8.6.0-7.fc40
2
pkgconf-pkg-config
1.9.5-4.fc40
2.1.0-1.fc40
2
adwaita-cursor-theme
46~alpha-2.fc40
46~beta-2.fc40
2
gcc
14.0.1-0.6.fc40
14.0.1-0.7.fc40
2
libuuid
2.40-0.8.rc1.fc40
2.40-0.9.rc1.fc40
2
libstemmer
2.2.0-8.fc40
2.2.0-10.fc40
2
expat
2.5.0-5.fc40
2.6.0-1.fc40
2
libgcc
14.0.1-0.6.fc40
14.0.1-0.7.fc40
2
util-linux
2.40-0.8.rc1.fc40
2.40-0.9.rc1.fc40
3
lua-srpm-macros
1-11.fc40
1-13.fc40
3
annobin-plugin-gcc
12.38-1.fc40
12.40-1.fc40
3
nss
3.97.0-1.fc40
3.98.0-1.fc40
3
cups-libs
1:2.4.7-9.fc40
1:2.4.7-11.fc40
3
cpp
14.0.1-0.6.fc40
14.0.1-0.7.fc40
3
pkgconf-m4
1.9.5-4.fc40
2.1.0-1.fc40
3
gcc-plugin-annobin
14.0.1-0.6.fc40
14.0.1-0.7.fc40
3
qt6-srpm-macros
6.6.1-5.fc40
6.6.2-1.fc40
3
shared-mime-info
2.3-3.fc40
2.3-4.fc40
3
libmount
2.40-0.8.rc1.fc40
2.40-0.9.rc1.fc40
3
jasper-libs
4.1.0-3.fc40
4.2.0-1.fc40
3
pango
1.51.0-3.fc40
1.51.2-1.fc40
3
pkgconf
1.9.5-4.fc40
2.1.0-1.fc40
3
binutils
2.41-32.fc40
2.41-34.fc40
3
libgomp
14.0.1-0.6.fc40
14.0.1-0.7.fc40
3
rust-srpm-macros
25.2-4.fc40
26.1-1.fc40
3
openldap
2.6.7-1.fc40
3
libssh
0.10.6-4.fc40
3
pam
1.6.0-1.fc40
1.6.0-2.fc40
4
authselect-libs
1.5.0-3.fc40
1.5.0-4.fc40
4
libsmartcols
2.40-0.8.rc1.fc40
2.40-0.9.rc1.fc40
4
nss-softokn
3.97.0-1.fc40
3.98.0-1.fc40
4
libtool-ltdl
2.4.7-10.fc40
4
libssh-config
0.10.6-4.fc40
4
cyrus-sasl-lib
2.1.28-19.fc40
4
lua-posix
36.2.1-3.fc39
36.2.1-6.fc40
4
atk
2.51.0-2.fc40
2.51.90-1.fc40
4
nspr
4.35.0-20.fc40
4.35.0-21.fc40
4
libtracker-sparql
3.7~alpha-3.fc40
3.7~beta-1.fc40
4
libgfortran
14.0.1-0.6.fc40
14.0.1-0.7.fc40
4
libquadmath
14.0.1-0.6.fc40
14.0.1-0.7.fc40
4
kernel-headers
6.8.0-0.rc3.26.fc40
6.8.0-0.rc5.41.fc40
4
libfdisk
2.40-0.8.rc1.fc40
2.40-0.9.rc1.fc40
4
util-linux-core
2.40-0.8.rc1.fc40
2.40-0.9.rc1.fc40
4
libstdc++
14.0.1-0.6.fc40
14.0.1-0.7.fc40
4
libblkid
2.40-0.8.rc1.fc40
2.40-0.9.rc1.fc40
4
atk-devel
2.51.0-2.fc40
2.51.90-1.fc40
4
libpkgconf
1.9.5-4.fc40
2.1.0-1.fc40
4
libevent
2.1.12-11.fc40
2.1.12-12.fc40
4
nss-sysinit
3.97.0-1.fc40
3.98.0-1.fc40
4
annobin-docs
12.38-1.fc40
12.40-1.fc40
4
binutils-gold
2.41-32.fc40
2.41-34.fc40
4
libmount-devel
2.40-0.8.rc1.fc40
2.40-0.9.rc1.fc40
4
curl
8.6.0-4.fc40
8.6.0-7.fc40
4
nss-util
3.97.0-1.fc40
3.98.0-1.fc40
4
pango-devel
1.51.0-3.fc40
1.51.2-1.fc40
4
pam-libs
1.6.0-1.fc40
1.6.0-2.fc40
4
sysprof-capture-devel
45.1-2.fc40
46~beta-1.fc40
4
at-spi2-atk
2.51.0-2.fc40
2.51.90-1.fc40
4
at-spi2-atk-devel
2.51.0-2.fc40
2.51.90-1.fc40
4
libei
1.2.1-1.fc40
B
at-spi2-core-devel
2.51.0-2.fc40
2.51.90-1.fc40
B
shadow-utils
2:4.14.0-5.fc40
2:4.15.0rc2-1.fc40
B
nss-softokn-freebl
3.97.0-1.fc40
3.98.0-1.fc40
B
libwebp-devel
1.3.2-4.fc40
1.3.2-5.fc40
B
google-noto-sans-vf-fonts
20240201-1.fc40
20240201-2.fc40
B
libblkid-devel
2.40-0.8.rc1.fc40
2.40-0.9.rc1.fc40
B
fedora-release-identity-basic
40-0.30
40-0.34
B
at-spi2-core
2.51.0-2.fc40
2.51.90-1.fc40
B
fedora-release-common
40-0.30
40-0.34
B
libcurl-minimal
8.6.0-4.fc40
google-noto-fonts-common
20240201-1.fc40
20240201-2.fc40
B
fedora-repos-rawhide
40-0.2
fedora-gpg-keys
40-0.2
40-0.3
B
authselect
1.5.0-3.fc40
1.5.0-4.fc40
B
ed
1.20-2.fc40
1.20.1-1.fc40
B
libwebp
1.3.2-4.fc40
1.3.2-5.fc40
B
fedora-release
40-0.30
40-0.34
B
fedora-repos
40-0.2
40-0.3
B
libei-devel
1.2.1-1.fc40
B
avahi-glib
0.8-26.fc40
B
complete
113349698
2024-02-11 13:25:07
aarch64
├113349758 ( build.log | root.log )
x86_64
└113349759 ( build.log | root.log )
python3-devel
3.12.1-4.fc40
3.12.2-1.fc40
1
ocaml-dune
3.13.0-3.fc40
3.13.1-1.fc40
1
openssl-libs
1:3.1.4-4.fc40
1:3.2.1-2.fc40
2
python3
3.12.1-4.fc40
3.12.2-1.fc40
2
python3-libs
3.12.1-4.fc40
3.12.2-1.fc40
2
rpm-libs
4.19.1-4.fc40
4.19.1.1-1.fc40
2
less
643-3.fc40
643-4.fc40
2
redhat-rpm-config
280-1.fc40
282-1.fc40
2
bash
5.2.26-2.fc40
5.2.26-3.fc40
2
gcc
14.0.1-0.4.fc40
14.0.1-0.6.fc40
2
libgcc
14.0.1-0.4.fc40
14.0.1-0.6.fc40
2
libuuid
2.39.3-4.fc40
2.40-0.8.rc1.fc40
2
glibc
2.38.9000-39.fc40
2.39-2.fc40
2
antlr3-java
1:3.5.3-8.fc40
1:3.5.3-9.fc40
2
libcurl-minimal
8.6.0-4.fc40
2
gcc-plugin-annobin
14.0.1-0.4.fc40
14.0.1-0.6.fc40
3
dwz
0.15-5.fc40
0.15-6.fc40
3
file
5.45-3.fc40
5.45-4.fc40
3
glibc-minimal-langpack
2.38.9000-39.fc40
2.39-2.fc40
3
libmount
2.39.3-4.fc40
2.40-0.8.rc1.fc40
3
rpm
4.19.1-4.fc40
4.19.1.1-1.fc40
3
tzdata-java
2023d-3.fc40
2024a-2.fc40
3
rpm-build
4.19.1-4.fc40
4.19.1.1-1.fc40
3
libXext-devel
1.3.5-6.fc40
1.3.6-1.fc40
3
tzdata
2023d-3.fc40
2024a-2.fc40
3
freetype-devel
2.13.2-4.fc40
2.13.2-5.fc40
3
util-linux
2.39.3-4.fc40
2.40-0.8.rc1.fc40
3
cpp
14.0.1-0.4.fc40
14.0.1-0.6.fc40
3
libxml2
2.12.4-3.fc40
2.12.5-1.fc40
3
libxml2-devel
2.12.4-3.fc40
2.12.5-1.fc40
3
libfido2
1.14.0-3.fc40
1.14.0-4.fc40
3
go-srpm-macros
3.3.1-3.fc40
3.4.0-2.fc40
3
glibc-gconv-extra
2.38.9000-39.fc40
2.39-2.fc40
3
fontconfig-devel
2.15.0-3.fc40
2.15.0-4.fc40
3
freetype
2.13.2-4.fc40
2.13.2-5.fc40
3
libjpeg-turbo
2.1.4-6.fc40
3.0.2-1.fc40
3
glibc-devel
2.38.9000-39.fc40
2.39-2.fc40
3
glibc-common
2.38.9000-39.fc40
2.39-2.fc40
3
libgomp
14.0.1-0.4.fc40
14.0.1-0.6.fc40
3
fontconfig
2.15.0-3.fc40
2.15.0-4.fc40
3
audit-libs
4.0-7.fc40
4.0-8.fc40
4
libcom_err
1.47.0-4.fc40
1.47.0-5.fc40
4
libquadmath
14.0.1-0.4.fc40
14.0.1-0.6.fc40
4
kernel-headers
6.8.0-0.rc1.12.fc40.1
6.8.0-0.rc3.26.fc40
4
libstdc++
14.0.1-0.4.fc40
14.0.1-0.6.fc40
4
libXext
1.3.5-6.fc40
1.3.6-1.fc40
4
libfdisk
2.39.3-4.fc40
2.40-0.8.rc1.fc40
4
libblkid
2.39.3-4.fc40
2.40-0.8.rc1.fc40
4
libgfortran
14.0.1-0.4.fc40
14.0.1-0.6.fc40
4
util-linux-core
2.39.3-4.fc40
2.40-0.8.rc1.fc40
4
curl
8.6.0-2.fc40
8.6.0-4.fc40
4
libsmartcols
2.39.3-4.fc40
2.40-0.8.rc1.fc40
4
file-libs
5.45-3.fc40
5.45-4.fc40
4
libmount-devel
2.39.3-4.fc40
2.40-0.8.rc1.fc40
4
rpm-build-libs
4.19.1-4.fc40
4.19.1.1-1.fc40
4
default-fonts-core-sans
4.0-11.fc40
4.0-12.fc40
4
libcbor
0.10.2-5.fc40
0.11.0-1.fc40
4
glibc-headers-x86
2.38.9000-39.fc40
2.39-2.fc40
4
xprop
1.2.5-5.fc40
1.2.7-1.fc40
B
mesa-libEGL
24.0.0-1.fc40
24.0.0-2.fc40
B
openblas-openmp
0.3.26-1.fc40
0.3.26-4.fc40
B
libssh-config
0.10.6-4.fc40
cyrus-sasl-lib
2.1.28-19.fc40
google-noto-fonts-common
20240101-1.fc40
20240201-1.fc40
B
libssh
0.10.6-4.fc40
fedora-release-common
40-0.29
40-0.30
B
openldap
2.6.6-1.fc39
shadow-utils
2:4.14.0-4.fc40
2:4.14.0-5.fc40
B
mesa-libGL
24.0.0-1.fc40
24.0.0-2.fc40
B
libjpeg-turbo-devel
2.1.4-6.fc40
3.0.2-1.fc40
B
mesa-libglapi
24.0.0-1.fc40
24.0.0-2.fc40
B
fedora-release-identity-basic
40-0.29
40-0.30
B
libcurl
8.6.0-2.fc40
libblkid-devel
2.39.3-4.fc40
2.40-0.8.rc1.fc40
B
openblas
0.3.26-1.fc40
0.3.26-4.fc40
B
hwdata
0.378-3.fc40
0.379-1.fc40
B
fedora-release
40-0.29
40-0.30
B
mesa-libgbm
24.0.0-1.fc40
24.0.0-2.fc40
B
google-noto-sans-vf-fonts
20240101-1.fc40
20240201-1.fc40
B
xkeyboard-config
2.40-3.fc40
2.41-1.fc40
B
Previous history
Koschei version
Authors: Michael Simacek, Mikolaj Izdebski
Copyright © 2014-2018 Red Hat Inc.
User documentation
Project page on GitHub
Reporting issues