coq

Package information

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

Scheduler parameters

Tracked by Koschei
True
Current priority
111
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
130116696
2025-03-11 08:08:50
aarch64
├130116788 ( build.log | root.log )
ppc64le
├130116787 ( build.log | root.log )
x86_64
└130116786 ( build.log | root.log )
adwaita-icon-theme
47.0-2.fc42
48~beta-1.fc43
1
glib2
2.83.5-1.fc43
2.84.0-1.fc43
2
adwaita-cursor-theme
47.0-2.fc42
48~beta-1.fc43
2
openssh-clients
9.9p1-9.fc43
9.9p1-12.fc43
2
libcurl
8.12.1-1.fc43
8.13.0~rc1-1.fc43
2
libidn2
2.3.7-3.fc42
2.3.8-1.fc43
3
glib2-devel
2.83.5-1.fc43
2.84.0-1.fc43
3
systemd-standalone-sysusers
257.3-7.fc43
257.4-3.fc43
3
readline
8.2-12.fc42
8.2-13.fc43
3
openssh
9.9p1-9.fc43
9.9p1-12.fc43
3
tree-sitter-srpm-macros
0.1.0-10.fc43
0.2.0-1.fc43
3
libffi
3.4.7-1.fc43
3.4.7-2.fc43
3
crypto-policies
20250214-1.gitff7551b....
20250305-1.gita35b0fa....
3
libffi-devel
3.4.7-1.fc43
3.4.7-2.fc43
4
setup
2.15.0-12.fc43
2.15.0-14.fc43
4
gettext
0.23.1-2.fc42
0.24-1.fc43
4
cmake-filesystem
4.0.0~rc2-3.fc43
4.0.0~rc3-3.fc43
4
curl
8.12.1-1.fc43
8.13.0~rc1-1.fc43
4
systemd-libs
257.3-7.fc43
257.4-3.fc43
4
kernel-headers
6.14.0-0.rc5.43.fc43
6.14.0-0.rc6.49.fc43
4
avahi-libs
0.9~rc2-2.fc42
0.9~rc2-3.fc43
4
fedora-release
43-0.6
43-0.7
B
gettext-runtime
0.23.1-2.fc42
0.24-1.fc43
B
gettext-libs
0.23.1-2.fc42
0.24-1.fc43
B
systemd-rpm-macros
257.3-7.fc43
257.4-3.fc43
B
libtextstyle
0.23.1-2.fc42
0.24-1.fc43
B
systemd-devel
257.3-7.fc43
257.4-3.fc43
B
llvm-libs
19.1.7-11.fc43
20.1.0-1.fc43
B
avahi-glib
0.9~rc2-2.fc42
0.9~rc2-3.fc43
B
mesa-libEGL
25.0.0-1.fc43
25.0.1-2.fc43
B
gettext-envsubst
0.23.1-2.fc42
0.24-1.fc43
B
llvm-filesystem
19.1.7-11.fc43
20.1.0-1.fc43
B
fedora-release-common
43-0.6
43-0.7
B
fedora-release-identity-basic
43-0.6
43-0.7
B
mesa-libGL
25.0.0-1.fc43
25.0.1-2.fc43
B
mesa-libgbm
25.0.0-1.fc43
25.0.1-2.fc43
B
mesa-filesystem
25.0.0-1.fc43
25.0.1-2.fc43
B
mesa-dri-drivers
25.0.0-1.fc43
25.0.1-2.fc43
B
complete
129820094
2025-03-05 00:59:55
aarch64
├129820221 ( build.log | root.log )
ppc64le
├129820220 ( build.log | root.log )
x86_64
└129820219 ( build.log | root.log )
glib2
2.83.2-6.fc42
2.83.5-1.fc43
2
gcc
15.0.1-0.8.fc43
15.0.1-0.9.fc43
2
libgcc
15.0.1-0.8.fc43
15.0.1-0.9.fc43
2
libgomp
15.0.1-0.8.fc43
15.0.1-0.9.fc43
3
annobin-plugin-gcc
12.88-1.fc42
12.92-1.fc43
3
gcc-plugin-annobin
15.0.1-0.8.fc43
15.0.1-0.9.fc43
3
libnghttp2
1.64.0-3.fc42
1.65.0-1.fc43
3
glib2-devel
2.83.2-6.fc42
2.83.5-1.fc43
3
nss
3.108.0-3.fc43
3.109.0-1.fc43
3
libffi
3.4.6-5.fc42
3.4.7-1.fc43
3
tree-sitter-srpm-macros
0.1.0-8.fc42
0.1.0-10.fc43
3
lua-libs
5.4.7-2.fc42
5.4.7-3.fc43
3
cpp
15.0.1-0.8.fc43
15.0.1-0.9.fc43
3
gnutls
3.8.9-4.fc43
3.8.9-5.fc43
3
harfbuzz
10.3.0-1.fc43
10.4.0-1.fc43
4
nss-softokn
3.108.0-3.fc43
3.109.0-1.fc43
4
nss-util
3.108.0-3.fc43
3.109.0-1.fc43
4
kernel-headers
6.14.0-0.rc4.36.fc43
6.14.0-0.rc5.43.fc43
4
libquadmath
15.0.1-0.8.fc43
15.0.1-0.9.fc43
4
libffi-devel
3.4.6-5.fc42
3.4.7-1.fc43
4
nss-sysinit
3.108.0-3.fc43
3.109.0-1.fc43
4
atk
2.55.2-1.fc42
2.55.90-1.fc43
4
annobin-docs
12.88-1.fc42
12.92-1.fc43
4
harfbuzz-devel
10.3.0-1.fc43
10.4.0-1.fc43
4
nspr
4.36.0-4.fc43
4.36.0-5.fc43
4
at-spi2-atk-devel
2.55.2-1.fc42
2.55.90-1.fc43
4
atk-devel
2.55.2-1.fc42
2.55.90-1.fc43
4
libgfortran
15.0.1-0.8.fc43
15.0.1-0.9.fc43
4
google-noto-sans-vf-fonts
20250201-1.fc43
20250301-1.fc43
4
at-spi2-atk
2.55.2-1.fc42
2.55.90-1.fc43
4
libstdc++
15.0.1-0.8.fc43
15.0.1-0.9.fc43
4
libtinysparql
3.8~rc-6.fc43
3.9~rc-1.fc43
4
hwdata
0.392-1.fc42
0.393-1.fc43
B
harfbuzz-icu
10.3.0-1.fc43
10.4.0-1.fc43
B
harfbuzz-cairo
10.3.0-1.fc43
10.4.0-1.fc43
B
nss-softokn-freebl
3.108.0-3.fc43
3.109.0-1.fc43
B
at-spi2-core
2.55.2-1.fc42
2.55.90-1.fc43
B
at-spi2-core-devel
2.55.2-1.fc42
2.55.90-1.fc43
B
google-noto-fonts-common
20250201-1.fc43
20250301-1.fc43
B
complete
129686430
2025-02-28 20:40:04
aarch64
├129686511 ( build.log | root.log )
ppc64le
├129686510 ( build.log | root.log )
x86_64
└129686509 ( build.log | root.log )
java-21-openjdk
1:21.0.6.0.7-6.fc42
1:21.0.6.0.7-7.fc43
1
gcc
15.0.1-0.7.fc43
15.0.1-0.8.fc43
2
java-21-openjdk-headless
1:21.0.6.0.7-6.fc42
1:21.0.6.0.7-7.fc43
2
openssl-libs
1:3.2.4-1.fc43
1:3.2.4-2.fc43
2
libgcc
15.0.1-0.7.fc43
15.0.1-0.8.fc43
2
zlib-ng-compat
2.2.4-1.fc43
2.2.4-2.fc43
2
rpm-libs
4.20.0-8.fc42
4.20.1-1.fc43
2
glibc
2.41.9000-1.fc43
2.41.9000-2.fc43
2
libuuid
2.40.4-6.fc43
2.40.4-7.fc43
2
libarchive
3.7.7-2.fc42
3.7.7-3.fc43
2
glibc-minimal-langpack
2.41.9000-1.fc43
2.41.9000-2.fc43
3
zlib-ng-compat-devel
2.2.4-1.fc43
2.2.4-2.fc43
3
coreutils
9.6-1.fc42
9.6-2.fc43
3
glibc-common
2.41.9000-1.fc43
2.41.9000-2.fc43
3
rpm
4.20.0-8.fc42
4.20.1-1.fc43
3
gcc-plugin-annobin
15.0.1-0.7.fc43
15.0.1-0.8.fc43
3
libmount
2.40.4-6.fc43
2.40.4-7.fc43
3
cpp
15.0.1-0.7.fc43
15.0.1-0.8.fc43
3
rpm-build
4.20.0-8.fc42
4.20.1-1.fc43
3
glibc-devel
2.41.9000-1.fc43
2.41.9000-2.fc43
3
libgomp
15.0.1-0.7.fc43
15.0.1-0.8.fc43
3
util-linux
2.40.4-6.fc43
2.40.4-7.fc43
3
glibc-gconv-extra
2.41.9000-1.fc43
2.41.9000-2.fc43
3
libquadmath
15.0.1-0.7.fc43
15.0.1-0.8.fc43
4
libsmartcols
2.40.4-6.fc43
2.40.4-7.fc43
4
libstdc++
15.0.1-0.7.fc43
15.0.1-0.8.fc43
4
libgfortran
15.0.1-0.7.fc43
15.0.1-0.8.fc43
4
rpm-build-libs
4.20.0-8.fc42
4.20.1-1.fc43
4
cmake-filesystem
3.31.5-1.fc42
4.0.0~rc2-3.fc43
4
libfdisk
2.40.4-6.fc43
2.40.4-7.fc43
4
libblkid
2.40.4-6.fc43
2.40.4-7.fc43
4
libmount-devel
2.40.4-6.fc43
2.40.4-7.fc43
4
debugedit
5.1-4.fc42
5.1-5.fc43
4
coreutils-common
9.6-1.fc42
9.6-2.fc43
4
kernel-headers
6.14.0-0.rc3.29.fc43
6.14.0-0.rc4.36.fc43
4
util-linux-core
2.40.4-6.fc43
2.40.4-7.fc43
4
fedora-release
43-0.5
43-0.6
B
fedora-release-common
43-0.5
43-0.6
B
fedora-release-identity-basic
43-0.5
43-0.6
B
llvm-libs
19.1.7-9.fc43
19.1.7-11.fc43
B
llvm-filesystem
19.1.7-9.fc43
19.1.7-11.fc43
B
libblkid-devel
2.40.4-6.fc43
2.40.4-7.fc43
B
complete
129486689
2025-02-22 03:00:42
aarch64
├129486791 ( build.log | root.log )
ppc64le
├129486793 ( build.log | root.log )
x86_64
└129486792 ( build.log | root.log )
pcre2
10.44-1.fc43.2
10.45-1.fc43
2
openssh-clients
9.9p1-7.fc42
9.9p1-9.fc43
2
libzstd
1.5.6-3.fc42
1.5.7-1.fc43
2
libpng
2:1.6.46-1.fc43
2:1.6.47-1.fc43
2
libzstd-devel
1.5.6-3.fc42
1.5.7-1.fc43
2
glibc
2.40.9000-37.fc43
2.41.9000-1.fc43
2
gmp-devel
1:6.3.0-2.fc41
1:6.3.0-3.fc43
2
glibc-devel
2.40.9000-37.fc43
2.41.9000-1.fc43
3
cups-libs
1:2.4.11-11.fc43
1:2.4.11-13.fc43
3
openssh
9.9p1-7.fc42
9.9p1-9.fc43
3
gmp-c++
1:6.3.0-2.fc41
1:6.3.0-3.fc43
3
qt6-srpm-macros
6.8.2-1.fc42
6.8.2-2.fc43
3
glibc-minimal-langpack
2.40.9000-37.fc43
2.41.9000-1.fc43
3
glibc-gconv-extra
2.40.9000-37.fc43
2.41.9000-1.fc43
3
gmp
1:6.3.0-2.fc41
1:6.3.0-3.fc43
3
pcre2-syntax
10.44-1.fc43.2
10.45-1.fc43
3
libpng-devel
2:1.6.46-1.fc43
2:1.6.47-1.fc43
3
glibc-common
2.40.9000-37.fc43
2.41.9000-1.fc43
3
libcloudproviders-devel
0.3.5-6.fc42
0.3.6-1.fc43
4
pcre2-devel
10.44-1.fc43.2
10.45-1.fc43
4
cups-filesystem
1:2.4.11-11.fc43
1:2.4.11-13.fc43
4
zstd
1.5.6-3.fc42
1.5.7-1.fc43
4
harfbuzz-devel
10.2.0-2.fc42
10.3.0-1.fc43
4
kernel-headers
6.14.0-0.rc2.22.fc43
6.14.0-0.rc3.29.fc43
4
libcloudproviders
0.3.5-6.fc42
0.3.6-1.fc43
4
harfbuzz
10.2.0-2.fc42
10.3.0-1.fc43
4
pcre2-utf16
10.44-1.fc43.2
10.45-1.fc43
B
pcre2-utf32
10.44-1.fc43.2
10.45-1.fc43
B
mesa-libEGL
25.0.0~rc3-1.fc43
25.0.0-1.fc43
B
harfbuzz-cairo
10.2.0-2.fc42
10.3.0-1.fc43
B
mesa-dri-drivers
25.0.0~rc3-1.fc43
25.0.0-1.fc43
B
fedora-release-common
43-0.2
43-0.5
B
harfbuzz-icu
10.2.0-2.fc42
10.3.0-1.fc43
B
fedora-release
43-0.2
43-0.5
B
fedora-release-identity-basic
43-0.2
43-0.5
B
mesa-filesystem
25.0.0~rc3-1.fc43
25.0.0-1.fc43
B
mesa-libGL
25.0.0~rc3-1.fc43
25.0.0-1.fc43
B
mesa-libgbm
25.0.0~rc3-1.fc43
25.0.0-1.fc43
B
complete
129340971
2025-02-17 11:46:31
aarch64
├129341120 ( build.log | root.log )
ppc64le
├129341122 ( build.log | root.log )
x86_64
└129341121 ( build.log | root.log )
openssl-libs
1:3.2.2-14.fc42
1:3.2.4-1.fc43
2
libcurl
8.12.0-1.fc43
8.12.1-1.fc43
2
bash
5.2.37-1.fc42
5.2.37-3.fc43
2
zlib-ng-compat
2.2.3-2.fc42
2.2.4-1.fc43
2
libuuid
2.40.4-5.fc43
2.40.4-6.fc43
2
gnutls
3.8.8-2.fc42
3.8.9-4.fc43
3
zlib-ng-compat-devel
2.2.3-2.fc42
2.2.4-1.fc43
3
util-linux
2.40.4-5.fc43
2.40.4-6.fc43
3
crypto-policies
20250124-1.git4d262e7....
20250214-1.gitff7551b....
3
libmount
2.40.4-5.fc43
2.40.4-6.fc43
3
systemd-standalone-sysusers
257.3-7.fc43
3
libmount-devel
2.40.4-5.fc43
2.40.4-6.fc43
4
nettle
3.10-6.fc42
3.10.1-1.fc43
4
libxcrypt
4.4.38-4.fc43
4.4.38-6.fc43
4
google-noto-sans-vf-fonts
20250101-2.fc42
20250201-1.fc43
4
util-linux-core
2.40.4-5.fc43
2.40.4-6.fc43
4
libfdisk
2.40.4-5.fc43
2.40.4-6.fc43
4
libxcrypt-devel
4.4.38-4.fc43
4.4.38-6.fc43
4
libsmartcols
2.40.4-5.fc43
2.40.4-6.fc43
4
curl
8.12.0-1.fc43
8.12.1-1.fc43
4
libblkid
2.40.4-5.fc43
2.40.4-6.fc43
4
systemd-libs
257.2-17.fc42
257.3-7.fc43
4
dbus-common
1:1.16.0-3.fc42
libtirpc
1.3.6-1.rc3.fc42.2
google-noto-fonts-common
20250101-2.fc42
20250201-1.fc43
B
mesa-filesystem
25.0.0~rc2-2.fc43
25.0.0~rc3-1.fc43
B
pam
1.7.0-4.fc42
authselect
1.5.1-1.fc43
libpwquality
1.4.5-12.fc42
mesa-libEGL
25.0.0~rc2-2.fc43
25.0.0~rc3-1.fc43
B
mesa-libgbm
25.0.0~rc2-2.fc43
25.0.0~rc3-1.fc43
B
systemd-devel
257.2-17.fc42
257.3-7.fc43
B
mesa-dri-drivers
25.0.0~rc2-2.fc43
25.0.0~rc3-1.fc43
B
gdbm
1:1.23-9.fc42
cracklib
2.9.11-7.fc42
llvm-libs
19.1.7-6.fc43
19.1.7-9.fc43
B
libseccomp
2.5.5-2.fc41
libblkid-devel
2.40.4-5.fc43
2.40.4-6.fc43
B
systemd-pam
257.2-17.fc42
dbus-broker
36-5.fc42
systemd-rpm-macros
257.2-17.fc42
257.3-7.fc43
B
mesa-libGL
25.0.0~rc2-2.fc43
25.0.0~rc3-1.fc43
B
libnsl2
2.0.1-3.fc42
authselect-libs
1.5.1-1.fc43
systemd
257.2-17.fc42
llvm-filesystem
19.1.7-9.fc43
B
complete
129164879
2025-02-12 06:33:27
aarch64
├129165019 ( build.log | root.log )
ppc64le
├129165021 ( build.log | root.log )
x86_64
└129165020 ( build.log | root.log )
glibc
2.40.9000-35.fc42
2.40.9000-37.fc43
2
binutils
2.44-1.fc42
2.44-3.fc43
3
cups-libs
1:2.4.11-10.fc42
1:2.4.11-11.fc43
3
glibc-common
2.40.9000-35.fc42
2.40.9000-37.fc43
3
glibc-gconv-extra
2.40.9000-35.fc42
2.40.9000-37.fc43
3
gtk3-devel
3.24.43-3.fc42
3.24.43-4.fc43
3
glibc-minimal-langpack
2.40.9000-35.fc42
2.40.9000-37.fc43
3
filesystem
3.18-36.fc42
3.18-38.fc43
3
glibc-devel
2.40.9000-35.fc42
2.40.9000-37.fc43
3
nss
3.107.0-2.fc42
3.108.0-3.fc43
3
flexiblas-netlib
3.4.4-7.fc42
3.4.5-1.fc43
3
build-reproducibility-srpm-macros
0.5.0-2.fc42
0.6.0-1.fc43
3
filesystem-srpm-macros
3.18-36.fc42
3.18-38.fc43
3
gtk3
3.24.43-3.fc42
3.24.43-4.fc43
3
gtk-update-icon-cache
3.24.43-3.fc42
3.24.43-4.fc43
4
libxkbcommon-devel
1.7.0-6.fc42
1.8.0-1.fc43
4
nspr
4.36.0-3.fc42
4.36.0-4.fc43
4
nss-util
3.107.0-2.fc42
3.108.0-3.fc43
4
gdb-minimal
15.2-7.fc42
16.2-1.fc43
4
nss-sysinit
3.107.0-2.fc42
3.108.0-3.fc43
4
kernel-headers
6.14.0-0.rc1.15.fc42
6.14.0-0.rc2.22.fc43
4
libxkbcommon
1.7.0-6.fc42
1.8.0-1.fc43
4
cups-filesystem
1:2.4.11-10.fc42
1:2.4.11-11.fc43
4
setup
2.15.0-10.fc42
2.15.0-12.fc43
4
add-determinism
0.5.0-2.fc42
0.6.0-1.fc43
4
flexiblas
3.4.4-7.fc42
3.4.5-1.fc43
4
nss-softokn
3.107.0-2.fc42
3.108.0-3.fc43
4
libtasn1
4.19.0-11.fc42
4.20.0-1.fc43
4
flexiblas-openblas-openmp
3.4.4-7.fc42
3.4.5-1.fc43
4
libtinysparql
3.8~rc-6.fc43
4
xkeyboard-config
2.43-2.fc42
2.44-1.fc43
B
mesa-libglapi
24.3.4-2.fc42
libtracker-sparql
3.7.3-5.fc42
libeconf
0.7.5-2.fc42
0.7.6-1.fc43
B
nss-softokn-freebl
3.107.0-2.fc42
3.108.0-3.fc43
B
mesa-libgbm
24.3.4-2.fc42
25.0.0~rc2-2.fc43
B
mesa-filesystem
24.3.4-2.fc42
25.0.0~rc2-2.fc43
B
mesa-libGL
24.3.4-2.fc42
25.0.0~rc2-2.fc43
B
mesa-libEGL
24.3.4-2.fc42
25.0.0~rc2-2.fc43
B
basesystem
11-22.fc42
mesa-dri-drivers
24.3.4-2.fc42
25.0.0~rc2-2.fc43
B
complete
128930291
2025-02-07 03:58:37
aarch64
├128930360 ( build.log | root.log )
ppc64le
├128930361 ( build.log | root.log )
x86_64
└128930359 ( build.log | root.log )
git-core
2.48.1-2.fc42
2.48.1-3.fc43
1
python3-devel
3.13.1-4.fc42
3.13.2-2.fc43
1
python3
3.13.1-4.fc42
3.13.2-2.fc43
2
gcc
15.0.1-0.6.fc42
15.0.1-0.7.fc43
2
libgcc
15.0.1-0.6.fc42
15.0.1-0.7.fc43
2
python3-libs
3.13.1-4.fc42
3.13.2-2.fc43
2
libpng
2:1.6.44-2.fc42
2:1.6.46-1.fc43
2
libcurl
8.11.1-3.fc42
8.12.0-1.fc43
2
pcre2
10.44-1.fc42.2
10.44-1.fc43.2
2
libuuid
2.40.4-2.fc42
2.40.4-5.fc43
2
pyproject-rpm-macros
1.16.4-2.fc42
1.17.0-1.fc43
2
cpp
15.0.1-0.6.fc42
15.0.1-0.7.fc43
3
rpm-sequoia
1.7.0-4.fc42
1.7.0-5.fc43
3
pyproject-srpm-macros
1.16.4-2.fc42
1.17.0-1.fc43
3
tzdata-java
2024b-2.fc42
2025a-1.fc43
3
util-linux
2.40.4-2.fc42
2.40.4-5.fc43
3
binutils
2.43.50-12.fc42
2.44-1.fc42
3
gcc-plugin-annobin
15.0.1-0.6.fc42
15.0.1-0.7.fc43
3
libgomp
15.0.1-0.6.fc42
15.0.1-0.7.fc43
3
mpdecimal
2.5.1-17.fc42
4.0.0-2.fc43
3
libmount
2.40.4-2.fc42
2.40.4-5.fc43
3
tzdata
2024b-2.fc42
2025a-1.fc43
3
sqlite-libs
3.47.2-2.fc42
3.49.0-1.fc43
3
pcre2-syntax
10.44-1.fc42.2
10.44-1.fc43.2
3
libpng-devel
2:1.6.44-2.fc42
2:1.6.46-1.fc43
3
pcre2-devel
10.44-1.fc42.2
10.44-1.fc43.2
4
libstdc++
15.0.1-0.6.fc42
15.0.1-0.7.fc43
4
libblkid
2.40.4-2.fc42
2.40.4-5.fc43
4
libxcrypt
4.4.38-4.fc42
4.4.38-4.fc43
4
libsmartcols
2.40.4-2.fc42
2.40.4-5.fc43
4
authselect-libs
1.5.0-9.fc42
1.5.1-1.fc43
4
libmount-devel
2.40.4-2.fc42
2.40.4-5.fc43
4
libxcrypt-devel
4.4.38-4.fc42
4.4.38-4.fc43
4
libgfortran
15.0.1-0.6.fc42
15.0.1-0.7.fc43
4
util-linux-core
2.40.4-2.fc42
2.40.4-5.fc43
4
libquadmath
15.0.1-0.6.fc42
15.0.1-0.7.fc43
4
libfdisk
2.40.4-2.fc42
2.40.4-5.fc43
4
curl
8.11.1-3.fc42
8.12.0-1.fc43
4
pcre2-utf32
10.44-1.fc42.2
10.44-1.fc43.2
B
libblkid-devel
2.40.4-2.fc42
2.40.4-5.fc43
B
pcre2-utf16
10.44-1.fc42.2
10.44-1.fc43.2
B
fedora-release-common
42-0.16
43-0.2
B
authselect
1.5.0-9.fc42
1.5.1-1.fc43
B
fedora-release
42-0.16
43-0.2
B
fedora-gpg-keys
42-0.4
43-0.1
B
llvm-libs
19.1.7-1.fc42
19.1.7-6.fc43
B
fedora-release-identity-basic
42-0.16
43-0.2
B
fedora-repos-rawhide
42-0.4
43-0.1
B
fedora-repos
42-0.4
43-0.1
B
hwdata
0.391-2.fc42
0.392-1.fc42
B
complete
128823133
2025-02-03 23:56:49
aarch64
├128823196 ( build.log | root.log )
ppc64le
├128823197 ( build.log | root.log )
x86_64
└128823198 ( build.log | root.log )
python3-devel
3.13.1-3.fc42
3.13.1-4.fc42
1
java-21-openjdk
1:21.0.6.0.7-1.fc42
1:21.0.6.0.7-6.fc42
1
libgcc
15.0.1-0.5.fc42
15.0.1-0.6.fc42
2
python3
3.13.1-3.fc42
3.13.1-4.fc42
2
java-21-openjdk-headless
1:21.0.6.0.7-1.fc42
1:21.0.6.0.7-6.fc42
2
gcc
15.0.1-0.5.fc42
15.0.1-0.6.fc42
2
libX11
1.8.10-3.fc42
1.8.11-1.fc42
2
python3-libs
3.13.1-3.fc42
3.13.1-4.fc42
2
redhat-rpm-config
342-1.fc42
342-2.fc42
2
annobin-plugin-gcc
12.87-1.fc42
12.88-1.fc42
3
libgomp
15.0.1-0.5.fc42
15.0.1-0.6.fc42
3
cpp
15.0.1-0.5.fc42
15.0.1-0.6.fc42
3
libX11-common
1.8.10-3.fc42
1.8.11-1.fc42
3
gcc-plugin-annobin
15.0.1-0.5.fc42
15.0.1-0.6.fc42
3
libX11-devel
1.8.10-3.fc42
1.8.11-1.fc42
3
qt6-srpm-macros
6.8.1-5.fc42
6.8.2-1.fc42
3
file
5.45-9.fc42
5.46-1.fc42
3
tree-sitter-srpm-macros
0.1.0-8.fc42
3
at-spi2-atk-devel
2.55.0.1-2.fc42
2.55.2-1.fc42
4
atk
2.55.0.1-2.fc42
2.55.2-1.fc42
4
libquadmath
15.0.1-0.5.fc42
15.0.1-0.6.fc42
4
libX11-xcb
1.8.10-3.fc42
1.8.11-1.fc42
4
atk-devel
2.55.0.1-2.fc42
2.55.2-1.fc42
4
kernel-headers
6.13.0-62.fc42
6.14.0-0.rc1.15.fc42
4
annobin-docs
12.87-1.fc42
12.88-1.fc42
4
libstdc++
15.0.1-0.5.fc42
15.0.1-0.6.fc42
4
at-spi2-atk
2.55.0.1-2.fc42
2.55.2-1.fc42
4
file-libs
5.45-9.fc42
5.46-1.fc42
4
libgfortran
15.0.1-0.5.fc42
15.0.1-0.6.fc42
4
which
2.22-2.fc42
2.23-1.fc42
B
copy-jdk-configs
4.1-7.fc42
at-spi2-core
2.55.0.1-2.fc42
2.55.2-1.fc42
B
at-spi2-core-devel
2.55.0.1-2.fc42
2.55.2-1.fc42
B
lua-posix
36.2.1-8.fc42
lua
5.4.7-2.fc42
Previous history
Koschei version 2afbb17
Authors: Michael Simacek, Mikolaj Izdebski
Copyright © 2014-2018 Red Hat Inc.
User documentation
Project page on GitHub
Reporting issues