coq

Package information

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

Scheduler parameters

Package is currently ineligible for scheduling due to following reasons:
  • Package dependencies are not resolvable
Tracked by Koschei
True
Current priority
0
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

2025-02-02 16:51:53
Package resolution failed
  • Problem: package java-21-openjdk-1:21.0.6.0.7-1.fc42.x86_64 from primary-f42-build-6547170 requires java-21-openjdk-headless(x86-64) = 1:21.0.6.0.7-1.fc42, but none of the providers can be installed
    - conflicting requests
    - nothing provides copy-jdk-configs >= 4.0 needed by java-21-openjdk-headless-1:21.0.6.0.7-1.fc42.x86_64 from primary-f42-build-6547170
  • Problem: package antlr4-4.13.2-4.fc42.noarch from primary-f42-build-6547170 requires java-21-openjdk-headless, but none of the providers can be installed
    - package antlr4-4.13.2-4.fc42.noarch from primary-f42-build-6547170 requires java-headless, but none of the providers can be installed
    - conflicting requests
    - nothing provides copy-jdk-configs >= 4.0 needed by java-21-openjdk-headless-1:21.0.6.0.7-1.fc42.x86_64 from primary-f42-build-6547170
2025-02-02 15:43:57
Package resolution failed
  • Problem: package java-21-openjdk-1:21.0.6.0.7-1.fc42.x86_64 from primary-f42-build-6547162 requires java-21-openjdk-headless(x86-64) = 1:21.0.6.0.7-1.fc42, but none of the providers can be installed
    - conflicting requests
    - nothing provides copy-jdk-configs >= 4.0 needed by java-21-openjdk-headless-1:21.0.6.0.7-1.fc42.x86_64 from primary-f42-build-6547162
  • Problem: package antlr4-4.13.2-4.fc42.noarch from primary-f42-build-6547162 requires java-21-openjdk-headless, but none of the providers can be installed
    - package antlr4-4.13.2-4.fc42.noarch from primary-f42-build-6547162 requires java-headless, but none of the providers can be installed
    - conflicting requests
    - nothing provides copy-jdk-configs >= 4.0 needed by java-21-openjdk-headless-1:21.0.6.0.7-1.fc42.x86_64 from primary-f42-build-6547162
2025-02-02 14:30:51
Package resolution failed
  • Problem: package java-21-openjdk-1:21.0.6.0.7-1.fc42.x86_64 from primary-f42-build-6547160 requires java-21-openjdk-headless(x86-64) = 1:21.0.6.0.7-1.fc42, but none of the providers can be installed
    - conflicting requests
    - nothing provides copy-jdk-configs >= 4.0 needed by java-21-openjdk-headless-1:21.0.6.0.7-1.fc42.x86_64 from primary-f42-build-6547160
  • Problem: package antlr4-4.13.2-4.fc42.noarch from primary-f42-build-6547160 requires java-21-openjdk-headless, but none of the providers can be installed
    - package antlr4-4.13.2-4.fc42.noarch from primary-f42-build-6547160 requires java-headless, but none of the providers can be installed
    - conflicting requests
    - nothing provides copy-jdk-configs >= 4.0 needed by java-21-openjdk-headless-1:21.0.6.0.7-1.fc42.x86_64 from primary-f42-build-6547160
complete
128608025
2025-01-29 13:59:00
aarch64
├128608067 ( build.log | root.log )
ppc64le
├128608069 ( build.log | root.log )
x86_64
└128608068 ( build.log | root.log )
rsync
3.4.1-1.fc42
3.4.1-2.fc42
1
java-21-openjdk
1:21.0.5.0.11-1.fc42.1
1:21.0.6.0.7-1.fc42
1
openssl-libs
1:3.2.2-12.fc42
1:3.2.2-13.fc42
2
fontconfig
2.15.0-9.fc42
2.16.0-2.fc42
2
openssh-clients
9.9p1-5.fc42.1
9.9p1-7.fc42
2
java-21-openjdk-headless
1:21.0.5.0.11-1.fc42.1
1:21.0.6.0.7-1.fc42
2
glibc
2.40.9000-34.fc42
2.40.9000-35.fc42
2
glibc-common
2.40.9000-34.fc42
2.40.9000-35.fc42
3
ncurses-libs
6.5-2.20240629.fc41
6.5-5.20250125.fc42
3
fontconfig-devel
2.15.0-9.fc42
2.16.0-2.fc42
3
openssh
9.9p1-5.fc42.1
9.9p1-7.fc42
3
annobin-plugin-gcc
12.84-1.fc42
12.87-1.fc42
3
glibc-devel
2.40.9000-34.fc42
2.40.9000-35.fc42
3
systemd
257.2-14.fc42
257.2-17.fc42
3
glibc-gconv-extra
2.40.9000-34.fc42
2.40.9000-35.fc42
3
crypto-policies
20241128-2.gitbb7b0b0....
20250124-1.git4d262e7....
3
glibc-minimal-langpack
2.40.9000-34.fc42
2.40.9000-35.fc42
3
systemd-pam
257.2-14.fc42
257.2-17.fc42
4
ncurses-base
6.5-2.20240629.fc41
6.5-5.20250125.fc42
4
systemd-libs
257.2-14.fc42
257.2-17.fc42
4
annobin-docs
12.84-1.fc42
12.87-1.fc42
4
cyrus-sasl-lib
2.1.28-28.fc42
2.1.28-30.fc42
4
systemd-rpm-macros
257.2-14.fc42
257.2-17.fc42
4
fedora-release-common
42-0.15
42-0.16
B
systemd-devel
257.2-14.fc42
257.2-17.fc42
B
which
2.21-43.fc42
2.22-1.fc42
B
openblas
0.3.28-3.fc42
0.3.29-1.fc42
B
fedora-release
42-0.15
42-0.16
B
mesa-libEGL
24.3.3-3.fc42
24.3.4-2.fc42
B
openblas-openmp
0.3.28-3.fc42
0.3.29-1.fc42
B
mesa-filesystem
24.3.3-3.fc42
24.3.4-2.fc42
B
libsoup3
3.6.4-1.fc42
3.6.4-2.fc42
B
mesa-libglapi
24.3.3-3.fc42
24.3.4-2.fc42
B
mesa-libgbm
24.3.3-3.fc42
24.3.4-2.fc42
B
mesa-libGL
24.3.3-3.fc42
24.3.4-2.fc42
B
mesa-dri-drivers
24.3.3-3.fc42
24.3.4-2.fc42
B
fedora-release-identity-basic
42-0.15
42-0.16
B
complete
128493287
2025-01-26 11:01:46
aarch64
├128493385 ( build.log | root.log )
ppc64le
├128493387 ( build.log | root.log )
x86_64
└128493386 ( build.log | root.log )
texlive-base
11:20230311-87.fc42
11:20230311-89.fc42
1
rsync
3.4.0-1.fc42
3.4.1-1.fc42
1
ocaml-dune
3.17.1-2.fc42
3.17.2-1.fc42
1
glibc
2.40.9000-31.fc42
2.40.9000-34.fc42
2
gcc
15.0.1-0.3.fc42.1
15.0.1-0.4.fc42
2
libgcc
15.0.1-0.3.fc42.1
15.0.1-0.4.fc42
2
glib2
2.83.2-3.fc42
2.83.2-6.fc42
2
openldap
2.6.9-2.fc42
2.6.9-3.fc42
3
glibc-minimal-langpack
2.40.9000-31.fc42
2.40.9000-34.fc42
3
fonts-srpm-macros
1:2.0.5-20.fc42
1:2.0.5-21.fc42
3
glibc-devel
2.40.9000-31.fc42
2.40.9000-34.fc42
3
glibc-gconv-extra
2.40.9000-31.fc42
2.40.9000-34.fc42
3
gcc-plugin-annobin
15.0.1-0.3.fc42.1
15.0.1-0.4.fc42
3
glib2-devel
2.83.2-3.fc42
2.83.2-6.fc42
3
libffi
3.4.6-3.fc42
3.4.6-5.fc42
3
fonts-filesystem
1:2.0.5-20.fc42
1:2.0.5-21.fc42
3
libnghttp2
1.64.0-1.fc42
1.64.0-3.fc42
3
default-fonts-core-sans
4.2-3.fc42
4.2-4.fc42
3
glibc-common
2.40.9000-31.fc42
2.40.9000-34.fc42
3
annobin-plugin-gcc
12.83-1.fc42
12.84-1.fc42
3
libgomp
15.0.1-0.3.fc42.1
15.0.1-0.4.fc42
3
cpp
15.0.1-0.3.fc42.1
15.0.1-0.4.fc42
3
libcap
2.71-2.fc42
2.73-2.fc42
3
libgfortran
15.0.1-0.3.fc42.1
15.0.1-0.4.fc42
4
annobin-docs
12.83-1.fc42
12.84-1.fc42
4
libquadmath
15.0.1-0.3.fc42.1
15.0.1-0.4.fc42
4
cmake-filesystem
3.31.4-2.fc42
3.31.5-1.fc42
4
libstdc++
15.0.1-0.3.fc42.1
15.0.1-0.4.fc42
4
libffi-devel
3.4.6-3.fc42
3.4.6-5.fc42
4
gawk
5.3.0-4.fc41
5.3.1-1.fc42
4
libicu
76.1-3.fc42
76.1-4.fc42
B
libicu-devel
76.1-3.fc42
76.1-4.fc42
B
fedora-release
42-0.13
42-0.15
B
graphite2-devel
1.3.14-16.fc41
1.3.14-18.fc42
B
fedora-release-identity-basic
42-0.13
42-0.15
B
graphite2
1.3.14-16.fc41
1.3.14-18.fc42
B
fedora-release-common
42-0.13
42-0.15
B
llvm-libs
19.1.6-2.fc42
19.1.7-1.fc42
B
Real build: coq-8.20.1-1.fc42
complete
128332892
2025-01-22 21:46:03
aarch64
├128332981 ( build.log | root.log )
ppc64le
├128332982 ( build.log | root.log )
s390x
├128332983 ( build.log | root.log )
x86_64
└128332980 ( build.log | root.log )
rpm-libs
4.20.0-7.fc42
4.20.0-8.fc42
2
glib2
2.83.2-2.fc42
2.83.2-3.fc42
2
pango
1.56.0-1.fc42
1.56.1-1.fc42
3
rpm
4.20.0-7.fc42
4.20.0-8.fc42
3
annobin-plugin-gcc
12.81-1.fc42
12.83-1.fc42
3
qt5-srpm-macros
5.15.16-2.fc42
5.15.15-1.fc42
3
rpm-build
4.20.0-7.fc42
4.20.0-8.fc42
3
systemd
257.2-14.fc42
3
glib2-devel
2.83.2-2.fc42
2.83.2-3.fc42
3
annobin-docs
12.81-1.fc42
12.83-1.fc42
4
pango-devel
1.56.0-1.fc42
1.56.1-1.fc42
4
rpm-build-libs
4.20.0-7.fc42
4.20.0-8.fc42
4
libseccomp
2.5.5-2.fc41
4
systemd-pam
257.2-14.fc42
4
dbus-common
1:1.16.0-3.fc42
B
dbus-broker
36-5.fc42
B
complete
128294352
2025-01-22 06:12:59
aarch64
├128294467 ( build.log | root.log )
ppc64le
├128294465 ( build.log | root.log )
x86_64
└128294466 ( build.log | root.log )
python3-antlr4-runtime
4.13.2-3.fc42
4.13.2-4.fc42
1
desktop-file-utils
0.27-2.fc41
0.27-3.fc42
1
rsync
3.3.0-4.fc42
3.4.0-1.fc42
1
ocaml
5.3.0-1.fc42
5.3.0-2.fc42
1
ocaml-cairo-devel
2:0.6.5-1.fc42
2:0.6.5-2.fc42
1
findutils
1:4.10.0-4.fc41
1:4.10.0-5.fc42
1
adwaita-icon-theme
47.0-1.fc42
47.0-2.fc42
1
ocaml-ounit-devel
2.2.7-13.fc42
2.2.7-14.fc42
1
libicns-utils
0.8.1-31.fc41
0.8.1-33.fc42
1
make
1:4.4.1-9.fc42
1:4.4.1-10.fc42
1
git-core
2.48.1-1.fc42
2.48.1-2.fc42
1
ocaml-ocamldoc
5.3.0-1.fc42
5.3.0-2.fc42
1
ocaml-findlib-devel
1.9.8-1.fc42
1.9.8-2.fc42
1
ocaml-lablgtk3-sourceview3-devel
3.1.5-4.fc42
3.1.5-5.fc42
1
ocaml-zarith-devel
1.14-4.fc42
1.14-6.fc42
1
csdp-tools
6.2.0-29.20181018gi...
6.2.0-31.20181018gi...
1
ocaml-dune
3.17.1-1.fc42
3.17.1-2.fc42
1
libappstream-glib
0.8.3-2.fc41
0.8.3-3.fc42
1
java-21-openjdk
1:21.0.5.0.11-1.fc42
1:21.0.5.0.11-1.fc42.1
1
antlr4
4.13.2-3.fc42
4.13.2-4.fc42
1
python3-devel
3.13.1-2.fc42
3.13.1-3.fc42
1
libX11
1.8.10-2.fc42
1.8.10-3.fc42
2
csdp
6.2.0-29.20181018gi...
6.2.0-31.20181018gi...
2
libXext
1.3.6-2.fc41
1.3.6-3.fc42
2
libuuid
2.40.4-1.fc42
2.40.4-2.fc42
2
emacs-filesystem
1:30.0-3.fc41
1:30.0-4.fc42
2
xorg-x11-fonts-Type1
7.5-39.fc41
7.5-40.fc42
2
glibc
2.40.9000-28.fc42
2.40.9000-31.fc42
2
gdk-pixbuf2
2.42.12-6.fc41
2.42.12-10.fc42
2
libpng
2:1.6.44-1.fc42
2:1.6.44-2.fc42
2
antlr4-runtime
4.13.2-3.fc42
4.13.2-4.fc42
2
lz4-libs
1.10.0-1.fc41
1.10.0-2.fc42
2
libcurl
8.11.1-2.fc42
8.11.1-3.fc42
2
gtksourceview3-devel
3.24.11-13.fc41
3.24.11-15.fc42
2
ocaml-rpm-macros
5.3.0-1.fc42
5.3.0-2.fc42
2
stringtemplate4
4.3.4-5.fc41
4.3.4-6.fc42
2
ocaml-zarith
1.14-4.fc42
1.14-6.fc42
2
ocaml-srpm-macros
10-3.fc41
10-4.fc42
2
ocaml-ounit
2.2.7-13.fc42
2.2.7-14.fc42
2
pcre2
10.44-1.fc41.1
10.44-1.fc42.2
2
python3-libs
3.13.1-2.fc42
3.13.1-3.fc42
2
javapackages-tools
6.4.0-4.fc42
6.4.0-5.fc42
2
ocaml-lablgtk3-devel
3.1.5-4.fc42
3.1.5-5.fc42
2
openssh-clients
9.9p1-5.fc42
9.9p1-5.fc42.1
2
glib2
2.83.0-3.fc42
2.83.2-2.fc42
2
ocaml-lablgtk3-sourceview3
3.1.5-4.fc42
3.1.5-5.fc42
2
libacl
2.3.2-2.fc41
2.3.2-3.fc42
2
cairo-devel
1.18.2-2.fc42
1.18.2-3.fc42
2
libzstd-devel
1.5.6-2.fc41
1.5.6-3.fc42
2
json-glib
1.10.6-1.fc42
1.10.6-2.fc42
2
libselinux
3.8-0.rc3.1.fc42.2
3.8-0.rc3.1.fc42.3
2
pyproject-rpm-macros
1.16.4-1.fc42
1.16.4-2.fc42
2
python3-rpm-macros
3.13-3.fc41
3.13-4.fc42
2
adwaita-cursor-theme
47.0-1.fc42
47.0-2.fc42
2
ocaml-findlib
1.9.8-1.fc42
1.9.8-2.fc42
2
ocaml-compiler-libs
5.3.0-1.fc42
5.3.0-2.fc42
2
gcc
15.0.1-0.3.fc42
15.0.1-0.3.fc42.1
2
javapackages-filesystem
6.4.0-4.fc42
6.4.0-5.fc42
2
java-21-openjdk-headless
1:21.0.5.0.11-1.fc42
1:21.0.5.0.11-1.fc42.1
2
rpm-libs
4.20.0-6.fc42
4.20.0-7.fc42
2
ocaml-cairo
2:0.6.5-1.fc42
2:0.6.5-2.fc42
2
libXrender
0.9.12-1.fc42
0.9.12-2.fc42
2
libzstd
1.5.6-2.fc41
1.5.6-3.fc42
2
libicns
0.8.1-31.fc41
0.8.1-33.fc42
2
python-rpm-macros
3.13-3.fc41
3.13-4.fc42
2
libXi
1.8.2-1.fc42
1.8.2-2.fc42
2
expat
2.6.4-1.fc42
2.6.4-2.fc42
2
ocaml-runtime
5.3.0-1.fc42
5.3.0-2.fc42
2
antlr3-java
1:3.5.3-11.fc41
1:3.5.3-12.fc42
2
less
668-1.fc42
668-2.fc42
2
popt
1.19-7.fc41
1.19-8.fc42
2
xxhash-libs
0.8.3-1.fc42
0.8.3-2.fc42
2
treelayout
1.0.3-24.fc41
1.0.3-25.fc42
2
libgcc
15.0.1-0.3.fc42
15.0.1-0.3.fc42.1
2
python3
3.13.1-2.fc42
3.13.1-3.fc42
2
adwaita-icon-theme-legacy
46.2-2.fc41
46.2-3.fc42
2
fontconfig
2.15.0-8.fc41
2.15.0-9.fc42
2
zlib-ng-compat
2.2.3-1.fc42
2.2.3-2.fc42
2
libXtst
1.2.5-1.fc41
1.2.5-2.fc42
2
openssl-libs
1:3.2.2-11.fc42
1:3.2.2-12.fc42
2
libarchive
3.7.7-1.fc42
3.7.7-2.fc42
2
python3-rpm-generators
14-11.fc41
14-12.fc42
2
ocaml-lablgtk3
3.1.5-4.fc42
3.1.5-5.fc42
2
libXcomposite
0.4.6-4.fc41
0.4.6-5.fc42
2
pkgconf-pkg-config
2.3.0-1.fc42
2.3.0-2.fc42
2
icu4j
1:76.1-1.fc42
1:76.1-3.fc42
2
libidn2
2.3.7-2.fc41
2.3.7-3.fc42
3
alsa-lib
1.2.13-3.fc42
1.2.13-4.fc42
3
glib2-devel
2.83.0-3.fc42
2.83.2-2.fc42
3
kernel-srpm-macros
1.0-24.fc41
1.0-25.fc42
3
rust-srpm-macros
26.3-3.fc42
26.3-4.fc42
3
qt6-srpm-macros
6.8.1-4.fc42
6.8.1-5.fc42
3
alternatives
1.31-2.fc42
1.31-3.fc42
3
file
5.45-8.fc42
5.45-9.fc42
3
gtk3
3.24.43-2.fc41
3.24.43-3.fc42
3
libX11-devel
1.8.10-2.fc42
1.8.10-3.fc42
3
gtk3-devel
3.24.43-2.fc41
3.24.43-3.fc42
3
openssh
9.9p1-5.fc42
9.9p1-5.fc42.1
3
libmount
2.40.4-1.fc42
2.40.4-2.fc42
3
fonts-filesystem
1:2.0.5-19.fc42
1:2.0.5-20.fc42
3
libpng-devel
2:1.6.44-1.fc42
2:1.6.44-2.fc42
3
readline
8.2-11.fc42
8.2-12.fc42
3
filesystem-srpm-macros
3.18-34.fc42
3.18-36.fc42
3
gtksourceview3
3.24.11-13.fc41
3.24.11-15.fc42
3
libxcb-devel
1.17.0-3.fc42
1.17.0-5.fc42
3
coreutils
9.5-12.fc42
9.6-1.fc42
3
libfido2
1.15.0-2.fc41
1.15.0-3.fc42
3
cups-libs
1:2.4.11-9.fc42
1:2.4.11-10.fc42
3
util-linux
2.40.4-1.fc42
2.40.4-2.fc42
3
openldap
2.6.9-1.fc42
2.6.9-2.fc42
3
mpdecimal
2.5.1-16.fc41
2.5.1-17.fc42
3
mkfontscale
1.2.3-1.fc41
1.2.3-2.fc42
3
xml-common
0.6.3-65.fc41
0.6.3-66.fc42
3
xz-libs
1:5.6.3-2.fc42
1:5.6.3-3.fc42
3
libxcb
1.17.0-3.fc42
1.17.0-5.fc42
3
efi-srpm-macros
5-13.fc42
6-2.fc42
3
libxml2-devel
2.12.9-1.fc42
2.12.9-2.fc42
3
rpm
4.20.0-6.fc42
4.20.0-7.fc42
3
pkgconf
2.3.0-1.fc42
2.3.0-2.fc42
3
python-pip-wheel
24.3.1-1.fc42
24.3.1-2.fc42
3
freetype-devel
2.13.3-1.fc42
2.13.3-2.fc42
3
libXext-devel
1.3.6-2.fc41
1.3.6-3.fc42
3
annobin-plugin-gcc
12.80-2.fc42
12.81-1.fc42
3
pkgconf-m4
2.3.0-1.fc42
2.3.0-2.fc42
3
zip
3.0-42.fc42
3.0-43.fc42
3
tzdata
2024b-1.fc42
2024b-2.fc42
3
lksctp-tools
1.0.20-1.fc42
1.0.20-2.fc42
3
libsepol
3.8-0.rc3.1.fc42
3.8-0.rc3.1.fc42.1
3
libedit
3.1-54.20250104cv...
3.1-55.20250104cv...
3
pyproject-srpm-macros
1.16.4-1.fc42
1.16.4-2.fc42
3
lua-libs
5.4.7-1.fc42
5.4.7-2.fc42
3
flexiblas-netlib
3.4.4-6.fc42
3.4.4-7.fc42
3
bzip2-libs
1.0.8-19.fc41
1.0.8-20.fc42
3
package-notes-srpm-macros
0.5-12.fc41
0.5-13.fc42
3
zlib-ng-compat-devel
2.2.3-1.fc42
2.2.3-2.fc42
3
pixman-devel
0.44.2-1.fc42
0.44.2-2.fc42
3
binutils
2.43.50-9.fc42
2.43.50-12.fc42
3
libxml2
2.12.9-1.fc42
2.12.9-2.fc42
3
python-srpm-macros
3.13-3.fc41
3.13-4.fc42
3
glibc-devel
2.40.9000-28.fc42
2.40.9000-31.fc42
3
basesystem
11-21.fc41
11-22.fc42
3
gnutls
3.8.8-1.fc42
3.8.8-2.fc42
3
libb2
0.98.1-12.fc41
0.98.1-13.fc42
3
libpsl
0.21.5-4.fc41
0.21.5-5.fc42
3
gnat-srpm-macros
6-6.fc41
6-7.fc42
3
python3-packaging
24.2-2.fc42
24.2-3.fc42
3
libXrender-devel
0.9.12-1.fc42
0.9.12-2.fc42
3
freetype
2.13.3-1.fc42
2.13.3-2.fc42
3
tzdata-java
2024b-1.fc42
2024b-2.fc42
3
rpm-sequoia
1.7.0-3.fc42
1.7.0-4.fc42
3
forge-srpm-macros
0.4.0-1.fc42
0.4.0-2.fc42
3
pcre2-syntax
10.44-1.fc41.1
10.44-1.fc42.2
3
grep
3.11-9.fc41
3.11-10.fc42
3
zig-srpm-macros
1-3.fc41
1-4.fc42
3
fonts-srpm-macros
1:2.0.5-19.fc42
1:2.0.5-20.fc42
3
cairo
1.18.2-2.fc42
1.18.2-3.fc42
3
gcc-plugin-annobin
15.0.1-0.3.fc42
15.0.1-0.3.fc42.1
3
shared-mime-info
2.3-6.fc41
2.3-7.fc42
3
default-fonts-core-sans
4.2-2.fc42
4.2-3.fc42
3
glibc-gconv-extra
2.40.9000-28.fc42
2.40.9000-31.fc42
3
go-srpm-macros
3.6.0-5.fc42
3.6.0-6.fc42
3
jasper-libs
4.2.3-2.fc41
4.2.3-3.fc42
3
fpc-srpm-macros
1.3-13.fc41
1.3-14.fc42
3
krb5-libs
1.21.3-3.fc42
1.21.3-4.fc42
3
glibc-common
2.40.9000-28.fc42
2.40.9000-31.fc42
3
sed
4.9-3.fc41
4.9-4.fc42
3
libgomp
15.0.1-0.3.fc42
15.0.1-0.3.fc42.1
3
pango
1.55.0-1.fc42
1.56.0-1.fc42
3
openblas-srpm-macros
2-18.fc41
2-19.fc42
3
libjpeg-turbo
3.1.0-1.fc42
3.1.0-2.fc42
3
libattr
2.5.2-4.fc41
2.5.2-5.fc42
3
libbrotli
1.1.0-5.fc41
1.1.0-6.fc42
3
lua-srpm-macros
1-14.fc41
1-15.fc42
3
ghc-srpm-macros
1.9.2-1.fc42
1.9.2-2.fc42
3
glibc-minimal-langpack
2.40.9000-28.fc42
2.40.9000-31.fc42
3
build-reproducibility-srpm-macros
0.5.0-1.fc42
0.5.0-2.fc42
3
filesystem
3.18-34.fc42
3.18-36.fc42
3
libssh
0.11.1-1.fc42
0.11.1-4.fc42
3
nss
3.107.0-1.fc42
3.107.0-2.fc42
3
ansible-srpm-macros
1-16.fc41
1-17.1.fc42
3
mpfr
4.2.1-5.fc41
4.2.1-6.fc42
3
copy-jdk-configs
4.1-6.fc41
4.1-7.fc42
3
libmpc
1.3.1-6.fc41
1.3.1-7.fc42
3
ttmkfdir
3.0.9-71.fc41
3.0.9-72.fc42
3
dwz
0.15-8.fc42
0.15-9.fc42
3
perl-srpm-macros
1-56.fc41
1-57.fc42
3
ca-certificates
2024.2.69_v8.0.401-4.fc42
2024.2.69_v8.0.401-5.fc42
3
libX11-common
1.8.10-2.fc42
1.8.10-3.fc42
3
crypto-policies
20241128-1.gitbb7b0b0....
20241128-2.gitbb7b0b0....
3
cpp
15.0.1-0.3.fc42
15.0.1-0.3.fc42.1
3
qt5-srpm-macros
5.15.15-1.fc42
5.15.16-2.fc42
3
rpm-build
4.20.0-6.fc42
4.20.0-7.fc42
3
fontconfig-devel
2.15.0-8.fc41
2.15.0-9.fc42
3
coreutils-common
9.5-12.fc42
9.6-1.fc42
4
pcre2-devel
10.44-1.fc41.1
10.44-1.fc42.2
4
gdb-minimal
15.2-4.fc42
15.2-7.fc42
4
zstd
1.5.6-2.fc41
1.5.6-3.fc42
4
libXdamage
1.1.6-4.fc41
1.1.6-5.fc42
4
libXcursor
1.2.3-1.fc42
1.2.3-2.fc42
4
file-libs
5.45-8.fc42
5.45-9.fc42
4
curl
8.11.1-2.fc42
8.11.1-3.fc42
4
google-noto-sans-vf-fonts
20250101-1.fc42
20250101-2.fc42
4
authselect-libs
1.5.0-8.fc42
1.5.0-9.fc42
4
libcloudproviders
0.3.5-5.fc41
0.3.5-6.fc42
4
sysprof-capture-devel
47.2-1.fc42
47.2-2.fc42
4
libwayland-client
1.23.0-2.fc41
1.23.0-3.fc42
4
libwayland-egl
1.23.0-2.fc41
1.23.0-3.fc42
4
libXau
1.0.12-1.fc42
1.0.12-2.fc42
4
at-spi2-atk-devel
2.55.0.1-1.fc42
2.55.0.1-2.fc42
4
pixman
0.44.2-1.fc42
0.44.2-2.fc42
4
debugedit
5.1-3.fc42
5.1-4.fc42
4
rpm-build-libs
4.20.0-6.fc42
4.20.0-7.fc42
4
pam-libs
1.7.0-3.fc42
1.7.0-4.fc42
4
libXdamage-devel
1.1.6-4.fc41
1.1.6-5.fc42
4
libselinux-devel
3.8-0.rc3.1.fc42.2
3.8-0.rc3.1.fc42.3
4
xz
1:5.6.3-2.fc42
1:5.6.3-3.fc42
4
libXfixes
6.0.1-4.fc41
6.0.1-5.fc42
4
libevent
2.1.12-14.fc41
2.1.12-15.fc42
4
at-spi2-atk
2.55.0.1-1.fc42
2.55.0.1-2.fc42
4
bzip2-devel
1.0.8-19.fc41
1.0.8-20.fc42
4
atk-devel
2.55.0.1-1.fc42
2.55.0.1-2.fc42
4
bzip2
1.0.8-19.fc41
1.0.8-20.fc42
4
colord-libs
1.4.7-5.fc41
1.4.7-6.fc42
4
nss-util
3.107.0-1.fc42
3.107.0-2.fc42
4
libXrandr-devel
1.5.4-4.fc41
1.5.4-5.fc42
4
cups-filesystem
1:2.4.11-9.fc42
1:2.4.11-10.fc42
4
libxcrypt-devel
4.4.38-2.fc42
4.4.38-4.fc42
4
avahi-libs
0.8-30.fc42
0.9~rc2-2.fc42
4
libblkid
2.40.4-1.fc42
2.40.4-2.fc42
4
libstdc++
15.0.1-0.3.fc42
15.0.1-0.3.fc42.1
4
libXau-devel
1.0.12-1.fc42
1.0.12-2.fc42
4
libXinerama
1.1.5-7.fc41
1.1.5-8.fc42
4
cairo-gobject-devel
1.18.2-2.fc42
1.18.2-3.fc42
4
libmount-devel
2.40.4-1.fc42
2.40.4-2.fc42
4
kernel-headers
6.13.0-0.rc7.55.fc42
6.13.0-62.fc42
4
xorg-x11-proto-devel
2024.1-3.fc41
2024.1-4.fc42
4
libXi-devel
1.8.2-1.fc42
1.8.2-2.fc42
4
libsmartcols
2.40.4-1.fc42
2.40.4-2.fc42
4
add-determinism
0.5.0-1.fc42
0.5.0-2.fc42
4
libtool-ltdl
2.5.4-3.fc42
2.5.4-4.fc42
4
publicsuffix-list-dafsa
20240107-4.fc41
20250116-1.fc42
4
nss-sysinit
3.107.0-1.fc42
3.107.0-2.fc42
4
libpkgconf
2.3.0-1.fc42
2.3.0-2.fc42
4
keyutils-libs
1.6.3-4.fc41
1.6.3-5.fc42
4
wayland-devel
1.23.0-2.fc41
1.23.0-3.fc42
4
cmake-filesystem
3.31.4-1.fc42
3.31.4-2.fc42
4
libxkbcommon-devel
1.7.0-4.fc41
1.7.0-6.fc42
4
gdk-pixbuf2-modules
2.42.12-6.fc41
2.42.12-10.fc42
4
brotli-devel
1.1.0-5.fc41
1.1.0-6.fc42
4
libXcursor-devel
1.2.3-1.fc42
1.2.3-2.fc42
4
diffutils
3.10-8.fc41
3.10-9.fc42
4
elfutils
0.192-7.fc42
0.192-8.fc42
4
cairo-gobject
1.18.2-2.fc42
1.18.2-3.fc42
4
libepoxy-devel
1.5.10-8.fc41
1.5.10-9.fc42
4
harfbuzz-devel
10.2.0-1.fc42
10.2.0-2.fc42
4
elfutils-debuginfod-client
0.192-7.fc42
0.192-8.fc42
4
lua
5.4.7-1.fc42
5.4.7-2.fc42
4
libunistring
1.1-8.fc41
1.1-9.fc42
4
xz-devel
1:5.6.3-2.fc42
1:5.6.3-3.fc42
4
libxkbcommon
1.7.0-4.fc41
1.7.0-6.fc42
4
libtracker-sparql
3.7.3-4.fc42
3.7.3-5.fc42
4
libfontenc
1.1.8-2.fc41
1.1.8-3.fc42
4
libcloudproviders-devel
0.3.5-5.fc41
0.3.5-6.fc42
4
patch
2.7.6-25.fc41
2.7.6-26.fc42
4
elfutils-libelf
0.192-7.fc42
0.192-8.fc42
4
nss-softokn
3.107.0-1.fc42
3.107.0-2.fc42
4
audit-libs
4.0.3-1.fc42
4.0.3-2.fc42
4
p11-kit-trust
0.25.5-4.fc42
0.25.5-5.fc42
4
libcom_err
1.47.2-2.fc42
1.47.2-3.fc42
4
libcbor
0.11.0-2.fc41
0.11.0-3.fc42
4
fribidi-devel
1.0.16-1.fc42
1.0.16-2.fc42
4
libX11-xcb
1.8.10-2.fc42
1.8.10-3.fc42
4
setup
2.15.0-9.fc42
2.15.0-10.fc42
4
gdk-pixbuf2-devel
2.42.12-6.fc41
2.42.12-10.fc42
4
pam
1.7.0-3.fc42
1.7.0-4.fc42
4
tar
2:1.35-4.fc41
2:1.35-5.fc42
4
libXinerama-devel
1.1.5-7.fc41
1.1.5-8.fc42
4
gzip
1.13-2.fc41
1.13-3.fc42
4
fribidi
1.0.16-1.fc42
1.0.16-2.fc42
4
flexiblas
3.4.4-6.fc42
3.4.4-7.fc42
4
libfdisk
2.40.4-1.fc42
2.40.4-2.fc42
4
libXft
2.3.8-7.fc41
2.3.8-8.fc42
4
libwayland-cursor
1.23.0-2.fc41
1.23.0-3.fc42
4
abattis-cantarell-vf-fonts
0.301-13.fc41
0.301-14.fc42
4
systemd-libs
257.2-7.fc42
257.2-14.fc42
4
harfbuzz
10.2.0-1.fc42
10.2.0-2.fc42
4
flexiblas-openblas-openmp
3.4.4-6.fc42
3.4.4-7.fc42
4
libquadmath
15.0.1-0.3.fc42
15.0.1-0.3.fc42.1
4
atk
2.55.0.1-1.fc42
2.55.0.1-2.fc42
4
unzip
6.0-65.fc42
6.0-66.fc42
4
libXfixes-devel
6.0.1-4.fc41
6.0.1-5.fc42
4
libepoxy
1.5.10-8.fc41
1.5.10-9.fc42
4
libverto
0.3.2-9.fc41
0.3.2-10.fc42
4
nspr
4.36.0-2.fc42
4.36.0-3.fc42
4
libtasn1
4.19.0-9.fc41
4.19.0-11.fc42
4
gettext
0.23.1-1.fc42
0.23.1-2.fc42
4
lua-posix
36.2.1-7.fc41
36.2.1-8.fc42
4
libgfortran
15.0.1-0.3.fc42
15.0.1-0.3.fc42.1
4
libssh-config
0.11.1-1.fc42
0.11.1-4.fc42
4
libXcomposite-devel
0.4.6-4.fc41
0.4.6-5.fc42
4
jansson
2.14-1.fc42
2.14-2.fc42
4
annobin-docs
12.80-2.fc42
12.81-1.fc42
4
p11-kit
0.25.5-4.fc42
0.25.5-5.fc42
4
libthai
0.1.29-9.fc41
0.1.29-10.fc42
4
gtk-update-icon-cache
3.24.43-2.fc41
3.24.43-3.fc42
4
libXrandr
1.5.4-4.fc41
1.5.4-5.fc42
4
pango-devel
1.55.0-1.fc42
1.56.0-1.fc42
4
hicolor-icon-theme
0.17-19.fc41
0.17-20.fc42
4
nettle
3.10-3.fc41
3.10-6.fc42
4
util-linux-core
2.40.4-1.fc42
2.40.4-2.fc42
4
shadow-utils
2:4.17.0-3.fc42
2:4.17.0-4.fc42
4
libcap-ng
0.8.5-3.fc41
0.8.5-4.fc42
4
libXtst-devel
1.2.5-1.fc41
1.2.5-2.fc42
B
liblerc-devel
4.0.0-7.fc41
4.0.0-8.fc42
B
libwebp
1.5.0-1.fc42
1.5.0-2.fc42
B
libsepol-devel
3.8-0.rc3.1.fc42
3.8-0.rc3.1.fc42.1
B
libpwquality
1.4.5-11.fc41
1.4.5-12.fc42
B
spirv-tools-libs
2024.4-1.fc42
2024.4-2.fc42
B
libdatrie-devel
0.2.13-10.fc41
0.2.13-11.fc42
B
cracklib
2.9.11-6.fc41
2.9.11-7.fc42
B
at-spi2-core
2.55.0.1-1.fc42
2.55.0.1-2.fc42
B
libdatrie
0.2.13-10.fc41
0.2.13-11.fc42
B
gettext-libs
0.23.1-1.fc42
0.23.1-2.fc42
B
libdrm
2.4.124-1.fc42
2.4.124-2.fc42
B
mesa-libglapi
24.3.3-1.fc42
24.3.3-3.fc42
B
mesa-dri-drivers
24.3.3-1.fc42
24.3.3-3.fc42
B
at-spi2-core-devel
2.55.0.1-1.fc42
2.55.0.1-2.fc42
B
xprop
1.2.8-2.fc42
1.2.8-3.fc42
B
mesa-filesystem
24.3.3-1.fc42
24.3.3-3.fc42
B
openblas
0.3.28-2.fc42
0.3.28-3.fc42
B
libsemanage
3.8-0.rc3.1.fc42
3.8-0.rc3.1.fc42.1
B
libwebp-devel
1.5.0-1.fc42
1.5.0-2.fc42
B
libthai-devel
0.1.29-9.fc41
0.1.29-10.fc42
B
lcms2
2.16-4.fc41
2.16-5.fc42
B
libglvnd-egl
1:1.7.0-5.fc41
1:1.7.0-7.fc42
B
avahi-glib
0.8-30.fc42
0.9~rc2-2.fc42
B
libblkid-devel
2.40.4-1.fc42
2.40.4-2.fc42
B
libwayland-server
1.23.0-2.fc41
1.23.0-3.fc42
B
nss-softokn-freebl
3.107.0-1.fc42
3.107.0-2.fc42
B
mesa-libGL
24.3.3-1.fc42
24.3.3-3.fc42
B
libglvnd-devel
1:1.7.0-5.fc41
1:1.7.0-7.fc42
B
hwdata
0.391-1.fc42
0.391-2.fc42
B
libusb1
1.0.27-6.fc42
1.0.27-8.fc42
B
libicu-devel
76.1-2.fc42
76.1-3.fc42
B
jbigkit-libs
2.1-30.fc41
2.1-31.fc42
B
info
7.2-1.fc42
7.2-3.fc42
B
libtiff
4.7.0-2.fc42
4.7.0-3.fc42
B
elfutils-default-yama-scope
0.192-7.fc42
0.192-8.fc42
B
libglvnd-opengl
1:1.7.0-5.fc41
1:1.7.0-7.fc42
B
mesa-libEGL
24.3.3-1.fc42
24.3.3-3.fc42
B
systemd-rpm-macros
257.2-7.fc42
257.2-14.fc42
B
libpciaccess
0.16-13.fc41
0.16-15.fc42
B
libicu
76.1-2.fc42
76.1-3.fc42
B
systemd-devel
257.2-7.fc42
257.2-14.fc42
B
libglvnd-core-devel
1:1.7.0-5.fc41
1:1.7.0-7.fc42
B
libglvnd-glx
1:1.7.0-5.fc41
1:1.7.0-7.fc42
B
gettext-runtime
0.23.1-1.fc42
0.23.1-2.fc42
B
dbus-common
1:1.16.0-1.fc42
pcre2-utf32
10.44-1.fc41.1
10.44-1.fc42.2
B
lm_sensors-libs
3.6.0-21.fc42
3.6.0-22.fc42
B
elfutils-libs
0.192-7.fc42
0.192-8.fc42
B
liblerc
4.0.0-7.fc41
4.0.0-8.fc42
B
libXft-devel
2.3.8-7.fc41
2.3.8-8.fc42
B
libglvnd
1:1.7.0-5.fc41
1:1.7.0-7.fc42
B
libsoup3
3.6.3-1.fc42
3.6.4-1.fc42
B
which
2.21-42.fc41
2.21-43.fc42
B
libtirpc
1.3.6-1.rc3.fc42
1.3.6-1.rc3.fc42.2
B
authselect
1.5.0-8.fc42
1.5.0-9.fc42
B
libeconf
0.7.5-1.fc42
0.7.5-2.fc42
B
xkeyboard-config
2.43-1.fc42
2.43-2.fc42
B
google-noto-fonts-common
20250101-1.fc42
20250101-2.fc42
B
json-c
0.18-1.fc42
0.18-2.fc42
B
dbus-broker
36-4.fc41
brotli
1.1.0-5.fc41
1.1.0-6.fc42
B
libXxf86vm
1.1.6-1.fc42
1.1.6-2.fc42
B
mesa-libgbm
24.3.3-1.fc42
24.3.3-3.fc42
B
dbus-devel
1:1.16.0-1.fc42
1:1.16.0-3.fc42
B
openblas-openmp
0.3.28-2.fc42
0.3.28-3.fc42
B
pcre2-utf16
10.44-1.fc41.1
10.44-1.fc42.2
B
libjpeg-turbo-devel
3.1.0-1.fc42
3.1.0-2.fc42
B
libgusb
0.4.9-2.fc41
0.4.9-3.fc42
B
libxcrypt
4.4.38-2.fc42
4.4.38-4.fc42
B
gettext-envsubst
0.23.1-1.fc42
0.23.1-2.fc42
B
harfbuzz-cairo
10.2.0-1.fc42
10.2.0-2.fc42
B
libnsl2
2.0.1-2.fc41
2.0.1-3.fc42
B
libtiff-devel
4.7.0-2.fc42
4.7.0-3.fc42
B
libtextstyle
0.23.1-1.fc42
0.23.1-2.fc42
B
libglvnd-gles
1:1.7.0-5.fc41
1:1.7.0-7.fc42
B
harfbuzz-icu
10.2.0-1.fc42
10.2.0-2.fc42
B
libxshmfence
1.3.2-5.fc42
1.3.2-6.fc42
B
dbus-libs
1:1.16.0-1.fc42
1:1.16.0-3.fc42
B
ed
1.21-1.fc42
1.21-2.fc42
B
dbus
1:1.16.0-1.fc42
1:1.16.0-3.fc42
B
Real build: coq-8.20.0-2.fc42
complete
127940105
2025-01-16 14:32:25
aarch64
├127940202 ( build.log | root.log )
ppc64le
├127940203 ( build.log | root.log )
s390x
├127940204 ( build.log | root.log )
x86_64
└127940201 ( build.log | root.log )
sqlite-libs
3.47.2-1.fc42
3.47.2-2.fc42
3
debugedit
5.1-2.fc42
5.1-3.fc42
4
Previous history
Koschei version 2afbb17
Authors: Michael Simacek, Mikolaj Izdebski
Copyright © 2014-2018 Red Hat Inc.
User documentation
Project page on GitHub
Reporting issues