coq

Package information

State
ok

Scheduler parameters

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

python3-devel
3.12.2-3.fc41
3.12.3-1.fc41
1
gcc
14.0.1-0.13.fc41
14.0.1-0.15.fc41
2
python3
3.12.2-3.fc41
3.12.3-1.fc41
2
redhat-rpm-config
287-1.fc41
288-1.fc41
2
python3-libs
3.12.2-3.fc41
3.12.3-1.fc41
2
libgcc
14.0.1-0.13.fc41
14.0.1-0.15.fc41
2
cpp
14.0.1-0.13.fc41
14.0.1-0.15.fc41
3
go-srpm-macros
3.5.0-1.fc41
3.6.0-1.fc41
3
filesystem
3.18-8.fc40
3.18-9.fc41
3
forge-srpm-macros
0.3.0-1.fc41
0.3.1-1.fc41
3
libgomp
14.0.1-0.13.fc41
14.0.1-0.15.fc41
3
ansible-srpm-macros
1-14.fc40
1-15.fc41
3
gcc-plugin-annobin
14.0.1-0.13.fc41
14.0.1-0.15.fc41
3
pango
1.51.2-1.fc41
1.52.2-1.fc41
3
pango-devel
1.51.2-1.fc41
1.52.2-1.fc41
4
libquadmath
14.0.1-0.13.fc41
14.0.1-0.15.fc41
4
kernel-headers
6.9.0-0.rc3.30.fc41
6.9.0-0.rc4.37.fc41
4
libstdc++
14.0.1-0.13.fc41
14.0.1-0.15.fc41
4
libgfortran
14.0.1-0.13.fc41
14.0.1-0.15.fc41
4
fedora-release-identity-basic
41-0.6
41-0.9
B
fedora-release
41-0.6
41-0.9
B
mesa-libglapi
24.0.4-1.fc41
24.0.5-1.fc41
B
libwebp-devel
1.3.2-5.fc41
1.4.0-1.fc41
B
fedora-release-common
41-0.6
41-0.9
B
mesa-libGL
24.0.4-1.fc41
24.0.5-1.fc41
B
libwebp
1.3.2-5.fc41
1.4.0-1.fc41
B
mesa-libgbm
24.0.4-1.fc41
24.0.5-1.fc41
B
mesa-libEGL
24.0.4-1.fc41
24.0.5-1.fc41
B

Groups

This package is not part of any global group.

Most recent builds

complete
2024-04-10 13:36:42
texlive-base
11:20230311-83.fc41
11:20230311-84.fc41
1
ocaml-dune
3.15.0-1.fc41
3.15.0-2.fc41
1
rsync
3.2.7-7.fc40
3.3.0-1.fc41
1
libuuid
2.40-0.12.fc41
2.40-13.fc41
2
libarchive
3.7.2-3.fc40
3.7.2-3.fc41
2
emacs-filesystem
1:29.3-2.fc41
1:29.3-5.fc41
2
libmount
2.40-0.12.fc41
2.40-13.fc41
3
libX11-devel
1.8.8-1.fc41
1.8.9-1.fc41
3
tzdata
2024a-4.fc41
2024a-5.fc41
3
util-linux
2.40-0.12.fc41
2.40-13.fc41
3
tzdata-java
2024a-4.fc41
2024a-5.fc41
3
libcap
2.69-3.fc40
2.69-8.fc41
3
pam
1.6.0-2.fc41
1.6.1-1.fc41
4
libmount-devel
2.40-0.12.fc41
2.40-13.fc41
4
libcap-ng
0.8.4-4.fc40
0.8.5-1.fc41
4
libblkid
2.40-0.12.fc41
2.40-13.fc41
4
libX11-xcb
1.8.8-1.fc41
1.8.9-1.fc41
4
util-linux-core
2.40-0.12.fc41
2.40-13.fc41
4
libfdisk
2.40-0.12.fc41
2.40-13.fc41
4
libsmartcols
2.40-0.12.fc41
2.40-13.fc41
4
kernel-headers
6.9.0-0.rc2.23.fc41
6.9.0-0.rc3.30.fc41
4
pam-libs
1.6.0-2.fc41
1.6.1-1.fc41
4
libX11
1.8.8-1.fc41
1.8.9-1.fc41
4
libblkid-devel
2.40-0.12.fc41
2.40-13.fc41
B
libX11-common
1.8.8-1.fc41
1.8.9-1.fc41
B
complete
2024-04-05 16:22:08
ocaml-dune
3.14.2-1.fc41
3.15.0-1.fc41
1
libcurl
8.6.0-7.fc41
8.7.1-1.fc41
2
emacs-filesystem
1:29.3-1.fc41
1:29.3-2.fc41
2
openssh-clients
9.6p1-1.fc41.3
9.6p1-1.fc41.6
2
openssl-libs
1:3.2.1-3.fc41
1:3.2.1-6.fc41
2
coreutils
9.4-6.fc40
9.5-1.fc41
3
qt6-srpm-macros
6.6.2-1.fc41
6.7.0-1.fc41
3
libnghttp2
1.60.0-2.fc41
1.61.0-1.fc41
3
openssh
9.6p1-1.fc41.3
9.6p1-1.fc41.6
3
libX11-devel
1.8.7-3.fc40
1.8.8-1.fc41
3
annobin-plugin-gcc
12.46-1.fc41
12.48-1.fc41
3
pixman-devel
0.43.0-3.fc40
0.43.4-1.fc41
3
gnutls
3.8.4-1.fc41
3.8.5-1.fc41
3
cups-libs
1:2.4.7-12.fc41
1:2.4.7-13.fc41
3
libxkbcommon-devel
1.6.0-2.fc41
1.7.0-1.fc41
4
annobin-docs
12.46-1.fc41
12.48-1.fc41
4
kernel-headers
6.9.0-0.rc1.17.fc41
6.9.0-0.rc2.23.fc41
4
pixman
0.43.0-3.fc40
0.43.4-1.fc41
4
libX11
1.8.7-3.fc40
1.8.8-1.fc41
4
coreutils-common
9.4-6.fc40
9.5-1.fc41
4
libX11-xcb
1.8.7-3.fc40
1.8.8-1.fc41
4
curl
8.6.0-7.fc41
8.7.1-1.fc41
4
harfbuzz
8.3.1-1.fc41
8.4.0-1.fc41
4
libxkbcommon
1.6.0-2.fc41
1.7.0-1.fc41
4
harfbuzz-devel
8.3.1-1.fc41
8.4.0-1.fc41
4
libX11-common
1.8.7-3.fc40
1.8.8-1.fc41
B
mesa-libGL
24.0.3-3.fc41
24.0.4-1.fc41
B
mesa-libglapi
24.0.3-3.fc41
24.0.4-1.fc41
B
mesa-libEGL
24.0.3-3.fc41
24.0.4-1.fc41
B
google-noto-fonts-common
20240301-3.fc41
20240401-1.fc41
B
google-noto-sans-vf-fonts
20240301-3.fc41
20240401-1.fc41
B
mesa-libgbm
24.0.3-3.fc41
24.0.4-1.fc41
B
harfbuzz-icu
8.3.1-1.fc41
8.4.0-1.fc41
B
hwdata
0.380-1.fc41
0.381-1.fc41
B
complete
2024-04-01 04:32:29
libuuid
2.40-0.11.rc1.fc41
2.40-0.12.fc41
2
gcc
14.0.1-0.12.fc41
14.0.1-0.13.fc41
2
libzstd
1.5.5-5.fc40
1.5.6-1.fc41
2
libgcc
14.0.1-0.12.fc41
14.0.1-0.13.fc41
2
python-rpm-macros
3.12-8.fc41
3.12-9.fc41
2
python3-rpm-macros
3.12-8.fc41
3.12-9.fc41
2
libzstd-devel
1.5.5-5.fc40
1.5.6-1.fc41
2
gcc-plugin-annobin
14.0.1-0.12.fc41
14.0.1-0.13.fc41
3
libgomp
14.0.1-0.12.fc41
14.0.1-0.13.fc41
3
util-linux
2.40-0.11.rc1.fc41
2.40-0.12.fc41
3
python-srpm-macros
3.12-8.fc41
3.12-9.fc41
3
libmount
2.40-0.11.rc1.fc41
2.40-0.12.fc41
3
cpp
14.0.1-0.12.fc41
14.0.1-0.13.fc41
3
xz-libs
5.6.1-1.fc41
1:5.4.6-3.fc41
3
elfutils-libelf
0.191-4.fc41
0.191-5.fc41
4
elfutils
0.191-4.fc41
0.191-5.fc41
4
libquadmath
14.0.1-0.12.fc41
14.0.1-0.13.fc41
4
libfdisk
2.40-0.11.rc1.fc41
2.40-0.12.fc41
4
elfutils-debuginfod-client
0.191-4.fc41
0.191-5.fc41
4
zstd
1.5.5-5.fc40
1.5.6-1.fc41
4
xz
5.6.1-1.fc41
1:5.4.6-3.fc41
4
util-linux-core
2.40-0.11.rc1.fc41
2.40-0.12.fc41
4
xz-devel
5.6.1-1.fc41
1:5.4.6-3.fc41
4
libblkid
2.40-0.11.rc1.fc41
2.40-0.12.fc41
4
libstdc++
14.0.1-0.12.fc41
14.0.1-0.13.fc41
4
libmount-devel
2.40-0.11.rc1.fc41
2.40-0.12.fc41
4
libtracker-sparql
3.7.0-1.fc41
3.7.1-1.fc41
4
libsmartcols
2.40-0.11.rc1.fc41
2.40-0.12.fc41
4
libgfortran
14.0.1-0.12.fc41
14.0.1-0.13.fc41
4
elfutils-default-yama-scope
0.191-4.fc41
0.191-5.fc41
B
elfutils-libs
0.191-4.fc41
0.191-5.fc41
B
mesa-libGL
24.0.3-2.fc41
24.0.3-3.fc41
B
libblkid-devel
2.40-0.11.rc1.fc41
2.40-0.12.fc41
B
mesa-libgbm
24.0.3-2.fc41
24.0.3-3.fc41
B
mesa-libglapi
24.0.3-2.fc41
24.0.3-3.fc41
B
mesa-libEGL
24.0.3-2.fc41
24.0.3-3.fc41
B
complete
2024-03-27 02:03:22
python3-devel
3.12.2-2.fc41
3.12.2-3.fc41
1
adwaita-icon-theme
46~rc-1.fc41
46.0-1.fc41
1
glibc
2.39.9000-9.fc41
2.39.9000-10.fc41
2
python3-rpm-macros
3.12-7.fc40
3.12-8.fc41
2
emacs-filesystem
1:29.2-3.fc40
1:29.3-1.fc41
2
glib2
2.79.1-1.fc40
2.80.0-1.fc41
2
python3
3.12.2-2.fc41
3.12.2-3.fc41
2
adwaita-cursor-theme
46~rc-1.fc41
46.0-1.fc41
2
python3-libs
3.12.2-2.fc41
3.12.2-3.fc41
2
python-rpm-macros
3.12-7.fc40
3.12-8.fc41
2
annobin-plugin-gcc
12.44-1.fc41
12.46-1.fc41
3
glibc-common
2.39.9000-9.fc41
2.39.9000-10.fc41
3
glibc-gconv-extra
2.39.9000-9.fc41
2.39.9000-10.fc41
3
python-srpm-macros
3.12-7.fc40
3.12-8.fc41
3
crypto-policies
20240304-1.git0375239....
20240320-1.git58e3d95....
3
glibc-minimal-langpack
2.39.9000-9.fc41
2.39.9000-10.fc41
3
python3-packaging
23.2-4.fc40
24.0-1.fc41
3
glibc-devel
2.39.9000-9.fc41
2.39.9000-10.fc41
3
glib2-devel
2.79.1-1.fc40
2.80.0-1.fc41
3
sysprof-capture-devel
46~rc-1.fc41
46.0-1.fc41
4
kernel-headers
6.8.0-0.rc7.55.fc41
6.9.0-0.rc1.17.fc41
4
at-spi2-atk
2.51.91-1.fc41
2.52.0-1.fc41
4
atk
2.51.91-1.fc41
2.52.0-1.fc41
4
xorg-x11-proto-devel
2023.2-4.fc40
2024.1-1.fc41
4
glibc-headers-x86
2.39.9000-9.fc41
2.39.9000-10.fc41
4
annobin-docs
12.44-1.fc41
12.46-1.fc41
4
at-spi2-atk-devel
2.51.91-1.fc41
2.52.0-1.fc41
4
crypto-policies-scripts
20240304-1.git0375239....
20240320-1.git58e3d95....
4
atk-devel
2.51.91-1.fc41
2.52.0-1.fc41
4
libtracker-sparql
3.7~rc-1.fc41
3.7.0-1.fc41
4
at-spi2-core-devel
2.51.91-1.fc41
2.52.0-1.fc41
B
at-spi2-core
2.51.91-1.fc41
2.52.0-1.fc41
B
complete
2024-03-21 18:46:36
csdp-tools
6.2.0-18.fc40
6.2.0-27.20181018gi...
1
glibc
2.39.9000-8.fc41
2.39.9000-9.fc41
2
csdp
6.2.0-18.fc40
6.2.0-27.20181018gi...
2
expat
2.6.0-1.fc41
2.6.2-1.fc41
2
pcre2
10.42-2.fc40.2
10.43-1.fc41
2
libffi
3.4.4-8.fc41
3.4.6-1.fc41
3
glibc-gconv-extra
2.39.9000-8.fc41
2.39.9000-9.fc41
3
nss
3.98.0-1.fc41
3.99.0-1.fc41
3
pcre2-syntax
10.42-2.fc40.2
10.43-1.fc41
3
glibc-minimal-langpack
2.39.9000-8.fc41
2.39.9000-9.fc41
3
glibc-common
2.39.9000-8.fc41
2.39.9000-9.fc41
3
gnutls
3.8.3-2.fc40
3.8.4-1.fc41
3
glibc-devel
2.39.9000-8.fc41
2.39.9000-9.fc41
3
elfutils-libelf
0.191-2.fc41
0.191-4.fc41
4
nss-util
3.98.0-1.fc41
3.99.0-1.fc41
4
nspr
4.35.0-21.fc41
4.35.0-22.fc41
4
nss-sysinit
3.98.0-1.fc41
3.99.0-1.fc41
4
nss-softokn
3.98.0-1.fc41
3.99.0-1.fc41
4
pcre2-devel
10.42-2.fc40.2
10.43-1.fc41
4
elfutils
0.191-2.fc41
0.191-4.fc41
4
libffi-devel
3.4.4-8.fc41
3.4.6-1.fc41
4
glibc-headers-x86
2.39.9000-8.fc41
2.39.9000-9.fc41
4
elfutils-debuginfod-client
0.191-2.fc41
0.191-4.fc41
4
pcre2-utf16
10.42-2.fc40.2
10.43-1.fc41
B
pcre2-utf32
10.42-2.fc40.2
10.43-1.fc41
B
mesa-libEGL
24.0.3-1.fc41
24.0.3-2.fc41
B
google-noto-sans-vf-fonts
20240301-2.fc41
20240301-3.fc41
B
mesa-libgbm
24.0.3-1.fc41
24.0.3-2.fc41
B
mesa-libGL
24.0.3-1.fc41
24.0.3-2.fc41
B
mesa-libglapi
24.0.3-1.fc41
24.0.3-2.fc41
B
elfutils-default-yama-scope
0.191-2.fc41
0.191-4.fc41
B
elfutils-libs
0.191-2.fc41
0.191-4.fc41
B
nss-softokn-freebl
3.98.0-1.fc41
3.99.0-1.fc41
B
shadow-utils
2:4.15.1-1.fc41
2:4.15.1-2.fc41
B
google-noto-fonts-common
20240301-2.fc41
20240301-3.fc41
B
complete
2024-03-19 04:14:27
texlive-base
11:20230311-82.fc41
11:20230311-83.fc41
1
glibc
2.39.9000-5.fc41
2.39.9000-8.fc41
2
java-21-openjdk-headless
1:21.0.2.0.13-2.fc41
1:21.0.2.0.13-3.fc41
2
gcc
14.0.1-0.8.fc41
14.0.1-0.12.fc41
2
libgcc
14.0.1-0.8.fc41
14.0.1-0.12.fc41
2
qt5-srpm-macros
5.15.12-3.fc40
5.15.13-1.fc41
3
glibc-common
2.39.9000-5.fc41
2.39.9000-8.fc41
3
glibc-devel
2.39.9000-5.fc41
2.39.9000-8.fc41
3
ghc-srpm-macros
1.9-1.fc41
1.9.1-1.fc41
3
binutils
2.42.50-5.fc41
2.42.50-6.fc41
3
glibc-gconv-extra
2.39.9000-5.fc41
2.39.9000-8.fc41
3
glibc-minimal-langpack
2.39.9000-5.fc41
2.39.9000-8.fc41
3
libgomp
14.0.1-0.8.fc41
14.0.1-0.12.fc41
3
gcc-plugin-annobin
14.0.1-0.8.fc41
14.0.1-0.12.fc41
3
cpp
14.0.1-0.8.fc41
14.0.1-0.12.fc41
3
libxml2
2.12.5-1.fc40
2.12.6-1.fc41
3
libxml2-devel
2.12.5-1.fc40
2.12.6-1.fc41
3
libtirpc
1.3.4-1.rc2.fc40.2
1.3.4-1.rc3.fc41
3
harfbuzz-devel
8.3.0-5.fc40
8.3.1-1.fc41
4
libquadmath
14.0.1-0.8.fc41
14.0.1-0.12.fc41
4
libgfortran
14.0.1-0.8.fc41
14.0.1-0.12.fc41
4
libstdc++
14.0.1-0.8.fc41
14.0.1-0.12.fc41
4
harfbuzz
8.3.0-5.fc40
8.3.1-1.fc41
4
binutils-gold
2.42.50-5.fc41
2.42.50-6.fc41
4
glibc-headers-x86
2.39.9000-5.fc41
2.39.9000-8.fc41
4
harfbuzz-icu
8.3.0-5.fc40
8.3.1-1.fc41
B
complete
2024-03-14 15:25:32
ocaml-dune
3.14.0-1.fc41
3.14.2-1.fc41
1
adwaita-icon-theme
46~beta-2.fc41
46~rc-1.fc41
1
redhat-rpm-config
285-1.fc41
287-1.fc41
2
openssh-clients
9.6p1-1.fc40.2
9.6p1-1.fc41.3
2
adwaita-cursor-theme
46~beta-2.fc41
46~rc-1.fc41
2
sqlite-libs
3.45.1-2.fc40
3.45.2-1.fc41
3
openssh
9.6p1-1.fc40.2
9.6p1-1.fc41.3
3
at-spi2-atk
2.51.90-1.fc41
2.51.91-1.fc41
4
libxkbcommon-devel
1.6.0-2.fc40
1.6.0-2.fc41
4
atk
2.51.90-1.fc41
2.51.91-1.fc41
4
atk-devel
2.51.90-1.fc41
2.51.91-1.fc41
4
libxkbcommon
1.6.0-2.fc40
1.6.0-2.fc41
4
audit-libs
4.0-8.fc40
4.0.1-1.fc41
4
at-spi2-atk-devel
2.51.90-1.fc41
2.51.91-1.fc41
4
sysprof-capture-devel
46~beta-1.fc41
46~rc-1.fc41
4
libtracker-sparql
3.7~beta-1.fc41
3.7~rc-1.fc41
4
libei
1.2.1-1.fc40
mesa-libGL
24.0.2-1.fc41
24.0.3-1.fc41
B
shadow-utils
2:4.15.0rc3-1.fc41
2:4.15.1-1.fc41
B
at-spi2-core-devel
2.51.90-1.fc41
2.51.91-1.fc41
B
libei-devel
1.2.1-1.fc40
mesa-libgbm
24.0.2-1.fc41
24.0.3-1.fc41
B
google-noto-fonts-common
20240301-1.fc41
20240301-2.fc41
B
mesa-libglapi
24.0.2-1.fc41
24.0.3-1.fc41
B
at-spi2-core
2.51.90-1.fc41
2.51.91-1.fc41
B
google-noto-sans-vf-fonts
20240301-1.fc41
20240301-2.fc41
B
mesa-libEGL
24.0.2-1.fc41
24.0.3-1.fc41
B
complete
2024-03-09 19:25:02
glibc
2.39.9000-4.fc41
2.39.9000-5.fc41
2
openssl-libs
1:3.2.1-2.fc40
1:3.2.1-3.fc41
2
glibc-gconv-extra
2.39.9000-4.fc41
2.39.9000-5.fc41
3
xz-libs
5.6.0-3.fc41
5.6.1-1.fc41
3
python-pip-wheel
23.3.2-1.fc40
24.0-2.fc41
3
ghc-srpm-macros
1.7-1.fc41
1.9-1.fc41
3
glibc-common
2.39.9000-4.fc41
2.39.9000-5.fc41
3
glibc-devel
2.39.9000-4.fc41
2.39.9000-5.fc41
3
libssh
0.10.6-4.fc40
0.10.6-6.fc41
3
annobin-plugin-gcc
12.42-1.fc41
12.44-1.fc41
3
glibc-minimal-langpack
2.39.9000-4.fc41
2.39.9000-5.fc41
3
libnghttp2
1.60.0-1.fc41
1.60.0-2.fc41
3
kernel-srpm-macros
1.0-22.fc40
1.0-23.fc41
3
rust-srpm-macros
26.1-1.fc41
26.2-1.fc41
3
xz-devel
5.6.0-3.fc41
5.6.1-1.fc41
4
xz
5.6.0-3.fc41
5.6.1-1.fc41
4
libssh-config
0.10.6-4.fc40
0.10.6-6.fc41
4
glibc-headers-x86
2.39.9000-4.fc41
2.39.9000-5.fc41
4
gdb-minimal
14.1-9.fc41
14.2-1.fc41
4
gettext
0.22.5-1.fc41
0.22.5-2.fc41
4
annobin-docs
12.42-1.fc41
12.44-1.fc41
4
gettext-runtime
0.22.5-1.fc41
0.22.5-2.fc41
B
libtextstyle
0.22.5-1.fc41
0.22.5-2.fc41
B
google-noto-sans-vf-fonts
20240201-2.fc41
20240301-1.fc41
B
libeconf
0.5.2-3.fc40
0.6.2-1.fc41
B
gettext-libs
0.22.5-1.fc41
0.22.5-2.fc41
B
gettext-envsubst
0.22.5-1.fc41
0.22.5-2.fc41
B
mesa-libGL
24.0.0-2.fc40
24.0.2-1.fc41
B
mesa-libglapi
24.0.0-2.fc40
24.0.2-1.fc41
B
mesa-libEGL
24.0.0-2.fc40
24.0.2-1.fc41
B
google-noto-fonts-common
20240201-2.fc41
20240301-1.fc41
B
mesa-libgbm
24.0.0-2.fc40
24.0.2-1.fc41
B
hwdata
0.379-1.fc40
0.380-1.fc41
B
Previous history