coq

Package information

State
ok

Scheduler parameters

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

libgcc
13.2.1-5.fc40
13.2.1-6.fc40
2
icu4j
1:73.2-2.fc39
1:74.1-2.fc40
2
rpm-libs
4.19.0-2.fc40
4.19.0-3.fc40
2
libcurl
8.4.0-1.fc40
8.5.0-1.fc40
2
glib2
2.78.1-1.fc40
2.78.3-1.fc40
2
gcc
13.2.1-5.fc40
13.2.1-6.fc40
2
crypto-policies
20231113-1.gitb402e82....
20231204-1.git1e3a2e4....
3
libxml2
2.12.1-1.fc40
2.12.2-1.fc40
3
binutils
2.41-15.fc40
2.41-16.fc40
3
rpm
4.19.0-2.fc40
4.19.0-3.fc40
3
sqlite-libs
3.44.1-1.fc40
3.44.2-1.fc40
3
forge-srpm-macros
0.1.0-1.fc40
0.2.0-1.fc40
3
cpp
13.2.1-5.fc40
13.2.1-6.fc40
3
rpm-build
4.19.0-2.fc40
4.19.0-3.fc40
3
gcc-plugin-annobin
13.2.1-5.fc40
13.2.1-6.fc40
3
libgomp
13.2.1-5.fc40
13.2.1-6.fc40
3
libquadmath
13.2.1-5.fc40
13.2.1-6.fc40
4
kernel-headers
6.7.0-0.rc3.git0.1....
6.7.0-0.rc4.35.fc40
4
libxml2-devel
2.12.1-1.fc40
2.12.2-1.fc40
4
binutils-gold
2.41-15.fc40
2.41-16.fc40
4
crypto-policies-scripts
20231113-1.gitb402e82....
20231204-1.git1e3a2e4....
4
libstdc++
13.2.1-5.fc40
13.2.1-6.fc40
4
curl
8.4.0-1.fc40
8.5.0-1.fc40
4
systemd-libs
255~rc3-3.fc40
255-1.fc40
4
rpm-build-libs
4.19.0-2.fc40
4.19.0-3.fc40
4
libgfortran
13.2.1-5.fc40
13.2.1-6.fc40
4
debugedit
5.0-11.fc40
5.0-12.fc40
4
glib2-devel
2.78.1-1.fc40
2.78.3-1.fc40
4
libgusb
0.4.7-1.fc40
0.4.8-1.fc40
B
hwdata
0.376-1.fc40
0.377-2.fc40
B

Groups

This package is not part of any global group.

Most recent builds

2023-12-05 17:13:56
Package dependencies resolved successfuly
2023-12-04 18:46:35
Package resolution failed
  • Problem: package antlr4-4.10.1-10.fc39.noarch requires mvn(com.ibm.icu:icu4j), but none of the providers can be installed
    - conflicting requests
    - nothing provides mvn(com.ibm.icu:collate) needed by icu4j-1:74.1-1.fc40.noarch
    - nothing provides mvn(com.ibm.icu:core) needed by icu4j-1:74.1-1.fc40.noarch
    - nothing provides mvn(com.ibm.icu:currdata) needed by icu4j-1:74.1-1.fc40.noarch
    - nothing provides mvn(com.ibm.icu:langdata) needed by icu4j-1:74.1-1.fc40.noarch
    - nothing provides mvn(com.ibm.icu:regiondata) needed by icu4j-1:74.1-1.fc40.noarch
    - nothing provides mvn(com.ibm.icu:translit) needed by icu4j-1:74.1-1.fc40.noarch
complete
2023-12-02 07:47:11
ocaml-dune
3.11.1-1.fc40
3.12.1-1.fc40
1
git-core
2.42.1-1.fc40
2.43.0-1.fc40
1
libicns-utils
0.8.1-27.fc39
0.8.1-28.fc40
1
glibc
2.38.9000-22.fc40
2.38.9000-26.fc40
2
emacs-filesystem
1:29.1-12.fc40
1:29.1-14.fc40
2
libicns
0.8.1-27.fc39
0.8.1-28.fc40
2
java-17-openjdk-headless
1:17.0.8.0.7-2.fc40
1:17.0.9.0.9-1.fc40
2
libacl
2.3.1-10.fc40
2.3.1-11.fc40
2
bash
5.2.21-1.fc40
5.2.21-2.fc40
2
jasper-libs
3.0.6-4.fc39
4.1.0-1.fc40
3
libcap
2.48-7.fc39
2.69-1.fc40
3
gnutls
3.8.1-3.fc40
3.8.2-2.fc40
3
sqlite-libs
3.44.0-1.fc40
3.44.1-1.fc40
3
annobin-plugin-gcc
12.31-1.fc40
12.32-1.fc40
3
libselinux
3.6-0.rc1.1.fc40
3.6-0.rc2.1.fc40
3
glibc-minimal-langpack
2.38.9000-22.fc40
2.38.9000-26.fc40
3
glibc-devel
2.38.9000-22.fc40
2.38.9000-26.fc40
3
rpm-sequoia
1.5.0-1.fc40
1.5.0-2.fc40
3
binutils
2.41-13.fc40
2.41-15.fc40
3
glibc-gconv-extra
2.38.9000-22.fc40
2.38.9000-26.fc40
3
nss
3.94.0-2.fc40
3.95.0-1.fc40
3
qt6-srpm-macros
6.6.0-1.fc40
6.6.1-1.fc40
3
glibc-common
2.38.9000-22.fc40
2.38.9000-26.fc40
3
libxml2
2.12.0-1.fc40
2.12.1-1.fc40
3
gdb-minimal
13.2-11.fc40
13.2-12.fc40
4
elfutils-libelf
0.190-2.fc40
0.190-4.fc40
4
systemd-libs
254.5-2.fc40
255~rc3-3.fc40
4
nss-sysinit
3.94.0-2.fc40
3.95.0-1.fc40
4
libxml2-devel
2.12.0-1.fc40
2.12.1-1.fc40
4
kernel-headers
6.7.0-0.rc1.git0.1....
6.7.0-0.rc3.git0.1....
4
annobin-docs
12.31-1.fc40
12.32-1.fc40
4
nss-softokn
3.94.0-2.fc40
3.95.0-1.fc40
4
pam-libs
1.5.3-7.fc40
1.5.3-8.fc40
4
libsepol
3.6-0.rc1.1.fc40
3.6-0.rc2.1.fc40
4
glibc-headers-x86
2.38.9000-22.fc40
2.38.9000-26.fc40
4
pam
1.5.3-7.fc40
1.5.3-8.fc40
4
binutils-gold
2.41-13.fc40
2.41-15.fc40
4
nspr
4.35.0-15.fc40
4.35.0-16.fc40
4
elfutils
0.190-2.fc40
0.190-4.fc40
4
nss-util
3.94.0-2.fc40
3.95.0-1.fc40
4
setup
2.14.4-1.fc39
2.14.5-1.fc40
4
elfutils-debuginfod-client
0.190-2.fc40
0.190-4.fc40
4
elfutils-default-yama-scope
0.190-2.fc40
0.190-4.fc40
B
lmdb-libs
0.9.31-2.fc39
mesa-libglapi
23.3.0~rc2-3.fc40
23.3.0-1.fc40
B
jbigkit-libs
2.1-26.fc39
2.1-27.fc40
B
libdb-convert-util
5.3.28-58.fc40
mesa-libgbm
23.3.0~rc2-3.fc40
23.3.0-1.fc40
B
openblas-openmp
0.3.24-1.fc40
0.3.25-1.fc40
B
xkeyboard-config
2.40-1.fc40
2.40-2.fc40
B
mesa-libEGL
23.3.0~rc2-3.fc40
23.3.0-1.fc40
B
libsemanage
3.6-0.rc1.1.fc40
3.6-0.rc2.1.fc40
B
libselinux-devel
3.6-0.rc1.1.fc40
3.6-0.rc2.1.fc40
B
mesa-libGL
23.3.0~rc2-3.fc40
23.3.0-1.fc40
B
nss-softokn-freebl
3.94.0-2.fc40
3.95.0-1.fc40
B
elfutils-libs
0.190-2.fc40
0.190-4.fc40
B
openblas
0.3.24-1.fc40
0.3.25-1.fc40
B
libsepol-devel
3.6-0.rc1.1.fc40
3.6-0.rc2.1.fc40
B
complete
2023-11-19 02:46:13
ocaml
5.1.0-4.fc40
5.1.0-5.fc40
1
git-core
2.42.0-1.fc40
2.42.1-1.fc40
1
ocaml-ocamldoc
5.1.0-4.fc40
5.1.0-5.fc40
1
rpm-libs
4.19.0-1.fc40
4.19.0-2.fc40
2
gcc
13.2.1-4.fc40
13.2.1-5.fc40
2
ocaml-compiler-libs
5.1.0-4.fc40
5.1.0-5.fc40
2
pcre2
10.42-1.fc39.2
10.42-2.fc40
2
glibc
2.38.9000-17.fc40
2.38.9000-22.fc40
2
ocaml-runtime
5.1.0-4.fc40
5.1.0-5.fc40
2
libgcc
13.2.1-4.fc40
13.2.1-5.fc40
2
bash
5.2.15-5.fc39
5.2.21-1.fc40
2
ocaml-rpm-macros
5.1.0-4.fc40
5.1.0-5.fc40
2
rpm
4.19.0-1.fc40
4.19.0-2.fc40
3
rpm-build
4.19.0-1.fc40
4.19.0-2.fc40
3
annobin-plugin-gcc
12.30-1.fc40
12.31-1.fc40
3
glibc-minimal-langpack
2.38.9000-17.fc40
2.38.9000-22.fc40
3
libgomp
13.2.1-4.fc40
13.2.1-5.fc40
3
libfido2
1.13.0-3.fc39
1.14.0-1.fc40
3
cpp
13.2.1-4.fc40
13.2.1-5.fc40
3
glibc-gconv-extra
2.38.9000-17.fc40
2.38.9000-22.fc40
3
libselinux
3.5-5.fc39
3.6-0.rc1.1.fc40
3
pcre2-syntax
10.42-1.fc39.2
10.42-2.fc40
3
binutils
2.41-10.fc40
2.41-13.fc40
3
cups-libs
1:2.4.7-2.fc40
1:2.4.7-3.fc40
3
go-srpm-macros
3.3.0-1.fc40
3.3.1-1.fc40
3
gnutls
3.8.1-1.fc40
3.8.1-3.fc40
3
libxml2
2.11.5-1.fc40
2.12.0-1.fc40
3
glibc-common
2.38.9000-17.fc40
2.38.9000-22.fc40
3
glibc-devel
2.38.9000-17.fc40
2.38.9000-22.fc40
3
gcc-plugin-annobin
13.2.1-4.fc40
13.2.1-5.fc40
3
crypto-policies
20230920-1.git570ea89....
20231113-1.gitb402e82....
3
libxml2-devel
2.11.5-1.fc40
2.12.0-1.fc40
4
rpm-build-libs
4.19.0-1.fc40
4.19.0-2.fc40
4
libsepol
3.5-2.fc39
3.6-0.rc1.1.fc40
4
libcloudproviders-devel
0.3.4-1.fc40
0.3.5-1.fc40
4
libquadmath
13.2.1-4.fc40
13.2.1-5.fc40
4
debugedit
5.0-10.fc39
5.0-11.fc40
4
libcloudproviders
0.3.4-1.fc40
0.3.5-1.fc40
4
crypto-policies-scripts
20230920-1.git570ea89....
20231113-1.gitb402e82....
4
glibc-headers-x86
2.38.9000-17.fc40
2.38.9000-22.fc40
4
pam-libs
1.5.3-6.fc40
1.5.3-7.fc40
4
elfutils-libelf
0.189-6.fc40
0.190-2.fc40
4
annobin-docs
12.30-1.fc40
12.31-1.fc40
4
kernel-headers
6.6.0-1.fc40
6.7.0-0.rc1.git0.1....
4
p11-kit-trust
0.25.2-1.fc40
0.25.3-1.fc40
4
harfbuzz
8.2.1-2.fc40
8.3.0-2.fc40
4
p11-kit
0.25.2-1.fc40
0.25.3-1.fc40
4
elfutils-debuginfod-client
0.189-6.fc40
0.190-2.fc40
4
binutils-gold
2.41-10.fc40
2.41-13.fc40
4
elfutils
0.189-6.fc40
0.190-2.fc40
4
libstdc++
13.2.1-4.fc40
13.2.1-5.fc40
4
pam
1.5.3-6.fc40
1.5.3-7.fc40
4
libgfortran
13.2.1-4.fc40
13.2.1-5.fc40
4
cpio
2.14-4.fc39
2.14-5.fc40
4
libsepol-devel
3.5-2.fc39
3.6-0.rc1.1.fc40
B
libselinux-devel
3.5-5.fc39
3.6-0.rc1.1.fc40
B
harfbuzz-icu
8.2.1-2.fc40
8.3.0-2.fc40
B
mesa-libGL
23.3.0~rc2-2.fc40
23.3.0~rc2-3.fc40
B
pcre2-utf16
10.42-1.fc39.2
10.42-2.fc40
B
mesa-libgbm
23.3.0~rc2-2.fc40
23.3.0~rc2-3.fc40
B
hwdata
0.375-1.fc40
0.376-1.fc40
B
elfutils-libs
0.189-6.fc40
0.190-2.fc40
B
libsemanage
3.5-4.fc39
3.6-0.rc1.1.fc40
B
mesa-libglapi
23.3.0~rc2-2.fc40
23.3.0~rc2-3.fc40
B
mesa-libEGL
23.3.0~rc2-2.fc40
23.3.0~rc2-3.fc40
B
fedora-release-identity-basic
40-0.18
40-0.20
B
elfutils-default-yama-scope
0.189-6.fc40
0.190-2.fc40
B
graphite2-devel
1.3.14-12.fc39
1.3.14-13.fc40
B
fedora-release
40-0.18
40-0.20
B
fedora-release-common
40-0.18
40-0.20
B
pcre2-devel
10.42-1.fc39.2
10.42-2.fc40
B
graphite2
1.3.14-12.fc39
1.3.14-13.fc40
B
harfbuzz-devel
8.2.1-2.fc40
8.3.0-2.fc40
B
pcre2-utf32
10.42-1.fc39.2
10.42-2.fc40
B
complete
2023-11-05 08:16:18
openssh-clients
9.3p1-12.fc40
9.3p1-13.fc40
2
zlib
1.2.13-4.fc39
1.2.13-5.fc40
2
redhat-rpm-config
269-1.fc40
271-1.fc40
2
openssl-libs
1:3.1.1-4.fc40
1:3.1.4-1.fc40
2
glib2
2.78.0-3.fc40
2.78.1-1.fc40
2
glibc
2.38.9000-15.fc40
2.38.9000-17.fc40
2
go-srpm-macros
3.2.0-7.fc40
3.3.0-1.fc40
3
xz-libs
5.4.4-1.fc39
5.4.5-1.fc40
3
glibc-minimal-langpack
2.38.9000-15.fc40
2.38.9000-17.fc40
3
glibc-common
2.38.9000-15.fc40
2.38.9000-17.fc40
3
annobin-plugin-gcc
12.28-1.fc40
12.30-1.fc40
3
glibc-gconv-extra
2.38.9000-15.fc40
2.38.9000-17.fc40
3
sqlite-libs
3.43.1-1.fc40
3.44.0-1.fc40
3
nss
3.94.0-1.fc40
3.94.0-2.fc40
3
openssh
9.3p1-12.fc40
9.3p1-13.fc40
3
binutils
2.41-8.fc40
2.41-10.fc40
3
cups-libs
1:2.4.7-1.fc40
1:2.4.7-2.fc40
3
libnghttp2
1.57.0-2.fc40
1.58.0-1.fc40
3
glibc-devel
2.38.9000-15.fc40
2.38.9000-17.fc40
3
nss-softokn
3.94.0-1.fc40
3.94.0-2.fc40
4
glib2-devel
2.78.0-3.fc40
2.78.1-1.fc40
4
binutils-gold
2.41-8.fc40
2.41-10.fc40
4
nss-sysinit
3.94.0-1.fc40
3.94.0-2.fc40
4
audit-libs
3.1.2-4.fc40
3.1.2-5.fc40
4
annobin-docs
12.28-1.fc40
12.30-1.fc40
4
p11-kit-trust
0.25.0-2.fc39
0.25.2-1.fc40
4
glibc-headers-x86
2.38.9000-15.fc40
2.38.9000-17.fc40
4
xml-common
0.6.3-61.fc39
0.6.3-62.fc40
4
xz
5.4.4-1.fc39
5.4.5-1.fc40
4
pam-libs
1.5.3-3.fc40
1.5.3-6.fc40
4
nss-util
3.94.0-1.fc40
3.94.0-2.fc40
4
libcbor
0.10.2-2.fc39
0.10.2-3.fc40
4
zlib-devel
1.2.13-4.fc39
1.2.13-5.fc40
4
kernel-headers
6.6.0-0.rc6.git0.1....
6.6.0-1.fc40
4
pam
1.5.3-3.fc40
1.5.3-6.fc40
4
nspr
4.35.0-14.fc40
4.35.0-15.fc40
4
p11-kit
0.25.0-2.fc39
0.25.2-1.fc40
4
google-noto-fonts-common
20230801-3.fc40
20230801-4.fc40
B
libsoup3
3.4.3-1.fc40
3.4.4-1.fc40
B
fedora-release
40-0.14
40-0.18
B
mesa-libEGL
23.2.1-1.fc40
23.3.0~rc2-2.fc40
B
fedora-release-identity-basic
40-0.14
40-0.18
B
info
7.0.3-3.fc39
7.1-1.fc40
B
openblas-openmp
0.3.21-6.fc39
0.3.24-1.fc40
B
openblas
0.3.21-6.fc39
0.3.24-1.fc40
B
libdb
5.3.28-58.fc40
mesa-libglapi
23.2.1-1.fc40
23.3.0~rc2-2.fc40
B
libdrm
2.4.114-3.fc39
2.4.117-1.fc40
B
mesa-libGL
23.2.1-1.fc40
23.3.0~rc2-2.fc40
B
mesa-libgbm
23.2.1-1.fc40
23.3.0~rc2-2.fc40
B
gdbm
1:1.23-4.fc39
B
libdb-convert-util
5.3.28-58.fc40
B
lmdb-libs
0.9.31-2.fc39
B
sysprof-capture-devel
45.0-1.fc40
45.1-1.fc40
B
nss-softokn-freebl
3.94.0-1.fc40
3.94.0-2.fc40
B
fedora-release-common
40-0.14
40-0.18
B
xz-devel
5.4.4-1.fc39
5.4.5-1.fc40
B
google-noto-sans-vf-fonts
20230801-3.fc40
20230801-4.fc40
B
complete
2023-10-22 08:08:51
glibc
2.38.9000-12.fc40
2.38.9000-15.fc40
2
javapackages-tools
6.2.0-4.fc40
6.2.0-5.fc40
2
javapackages-filesystem
6.2.0-4.fc40
6.2.0-5.fc40
2
jakarta-json
2.1.2-2.fc39
2.1.3-1.fc40
2
openssh-clients
9.3p1-11.fc40
9.3p1-12.fc40
2
emacs-filesystem
1:29.1-2.fc40
1:29.1-12.fc40
2
glibc-minimal-langpack
2.38.9000-12.fc40
2.38.9000-15.fc40
3
glibc-gconv-extra
2.38.9000-12.fc40
2.38.9000-15.fc40
3
glibc-common
2.38.9000-12.fc40
2.38.9000-15.fc40
3
binutils
2.41-6.fc40
2.41-8.fc40
3
qt5-srpm-macros
5.15.10-2.fc39
5.15.11-1.fc40
3
glibc-devel
2.38.9000-12.fc40
2.38.9000-15.fc40
3
krb5-libs
1.21.2-1.fc40
1.21.2-2.fc40
3
qt6-srpm-macros
6.5.3-1.fc40
6.6.0-1.fc40
3
openssh
9.3p1-11.fc40
9.3p1-12.fc40
3
binutils-gold
2.41-6.fc40
2.41-8.fc40
4
glibc-headers-x86
2.38.9000-12.fc40
2.38.9000-15.fc40
4
pam-libs
1.5.3-2.fc39
1.5.3-3.fc40
4
pam
1.5.3-2.fc39
1.5.3-3.fc40
4
kernel-headers
6.6.0-0.rc5.git0.1....
6.6.0-0.rc6.git0.1....
4
complete
2023-10-13 06:01:17
ocaml-dune
3.11.0-3.fc40
3.11.1-1.fc40
1
libgcc
13.2.1-3.fc40
13.2.1-4.fc40
2
libcurl
8.3.0-1.fc40
8.4.0-1.fc40
2
gcc
13.2.1-3.fc40
13.2.1-4.fc40
2
cpp
13.2.1-3.fc40
13.2.1-4.fc40
3
rust-srpm-macros
25.2-1.fc40
25.2-2.fc40
3
binutils
2.41-5.fc40
2.41-6.fc40
3
libnghttp2
1.56.0-1.fc40
1.57.0-2.fc40
3
ca-certificates
2023.2.62_v7.0.401-3.fc40
2023.2.62_v7.0.401-4.fc40
3
libgomp
13.2.1-3.fc40
13.2.1-4.fc40
3
gcc-plugin-annobin
13.2.1-3.fc40
13.2.1-4.fc40
3
python3-packaging
23.2-1.fc40
23.2-2.fc40
3
kernel-headers
6.6.0-0.rc4.git0.1....
6.6.0-0.rc5.git0.1....
4
libgfortran
13.2.1-3.fc40
13.2.1-4.fc40
4
libstdc++
13.2.1-3.fc40
13.2.1-4.fc40
4
curl
8.3.0-1.fc40
8.4.0-1.fc40
4
binutils-gold
2.41-5.fc40
2.41-6.fc40
4
libquadmath
13.2.1-3.fc40
13.2.1-4.fc40
4
libtiff-devel
4.4.0-8.fc40
4.5.0-3.fc40
B
xkeyboard-config
2.39-2.fc39
2.40-1.fc40
B
fedora-release-identity-basic
40-0.13
40-0.14
B
fedora-release-common
40-0.13
40-0.14
B
fedora-release
40-0.13
40-0.14
B
libgusb
0.4.6-2.fc39
0.4.7-1.fc40
B
libtiff
4.4.0-8.fc40
4.5.0-3.fc40
B
libwebp-devel
1.3.2-2.fc40
B
complete
2023-10-09 11:19:31
ocaml-ocamldoc
5.1.0-3.fc40
5.1.0-4.fc40
1
ocaml
5.1.0-3.fc40
5.1.0-4.fc40
1
ocaml-runtime
5.1.0-3.fc40
5.1.0-4.fc40
2
libacl
2.3.1-9.fc40
2.3.1-10.fc40
2
ocaml-rpm-macros
5.1.0-3.fc40
5.1.0-4.fc40
2
ocaml-compiler-libs
5.1.0-3.fc40
5.1.0-4.fc40
2
libtirpc
1.3.3-1.rc2.fc39
1.3.4-0.fc40
3
shared-mime-info
2.2-4.fc39
2.3-1.fc40
3
ca-certificates
2023.2.60_v7.0.306-3.fc40
2023.2.62_v7.0.401-3.fc40
3
annobin-plugin-gcc
12.27-1.fc40
12.28-1.fc40
3
annobin-docs
12.27-1.fc40
12.28-1.fc40
4
libxkbcommon-devel
1.5.0-3.fc39
1.6.0-1.fc40
4
libxkbcommon
1.5.0-3.fc39
1.6.0-1.fc40
4
cmake-filesystem
3.27.6-2.fc40
3.27.7-1.fc40
B
fedora-release-common
40-0.10
40-0.13
B
fedora-release-identity-basic
40-0.10
40-0.13
B
fedora-release
40-0.10
40-0.13
B
Previous history