coq

Package information

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

Scheduler parameters

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

rpm-libs
5.99.90-3.fc43
5.99.90-4.fc43
2
rpm
5.99.90-3.fc43
5.99.90-4.fc43
3
rpm-build
5.99.90-3.fc43
5.99.90-4.fc43
3
python-pip-wheel
25.0.1-3.fc43
25.1-1.fc43
3
python3-packaging
24.2-3.fc42
25.0-1.fc43
3
harfbuzz-devel
11.1.0-1.fc43
11.2.0-1.fc43
4
atk-devel
2.56.1-1.fc43
2.56.2-1.fc43
4
atk
2.56.1-1.fc43
2.56.2-1.fc43
4
at-spi2-atk
2.56.1-1.fc43
2.56.2-1.fc43
4
harfbuzz
11.1.0-1.fc43
11.2.0-1.fc43
4
rpm-build-libs
5.99.90-3.fc43
5.99.90-4.fc43
4
at-spi2-atk-devel
2.56.1-1.fc43
2.56.2-1.fc43
4
fedora-gpg-keys
43-0.1
43-0.2
B
at-spi2-core
2.56.1-1.fc43
2.56.2-1.fc43
B
fedora-repos-rawhide
43-0.1
43-0.2
B
fedora-repos
43-0.1
43-0.2
B
rpm-sign-libs
5.99.90-3.fc43
5.99.90-4.fc43
B
harfbuzz-cairo
11.1.0-1.fc43
11.2.0-1.fc43
B
harfbuzz-icu
11.1.0-1.fc43
11.2.0-1.fc43
B
at-spi2-core-devel
2.56.1-1.fc43
2.56.2-1.fc43
B

State overview

Groups

This package is not part of any global group.

Historical builds

complete
130687203
2025-03-24 10:29:25
aarch64
├130687284 ( build.log | root.log )
ppc64le
├130687283 ( build.log | root.log )
x86_64
└130687282 ( build.log | root.log )
desktop-file-utils
0.27-3.fc42
0.28-1.fc43
1
openssh-clients
9.9p1-13.fc43
9.9p1-14.fc43
2
javapackages-tools
6.4.0-5.fc42
6.4.0-6.fc43
2
openssl-libs
1:3.2.4-3.fc43
1:3.5.0-1.fc43
2
pyproject-rpm-macros
1.17.0-1.fc43
1.18.1-1.fc43
2
javapackages-filesystem
6.4.0-5.fc42
6.4.0-6.fc43
2
pyproject-srpm-macros
1.17.0-1.fc43
1.18.1-1.fc43
3
openssh
9.9p1-13.fc43
9.9p1-14.fc43
3
mpfr
4.2.1-6.fc42
4.2.2-1.fc43
3
harfbuzz-devel
10.4.0-1.fc43
11.0.0-1.fc43
4
shadow-utils
2:4.17.0-4.fc42
2:4.17.4-1.fc43
4
setup
2.15.0-21.fc43
2.15.0-23.fc43
4
harfbuzz
10.4.0-1.fc43
11.0.0-1.fc43
4
libtinysparql
3.9.1-1.fc43
3.9.1-2.fc43
4
mesa-dri-drivers
25.0.1-2.fc43
25.0.2-1.fc43
B
llvm-libs
20.1.0-1.fc43
20.1.1-1.fc43
B
mesa-libgbm
25.0.1-2.fc43
25.0.2-1.fc43
B
mesa-filesystem
25.0.1-2.fc43
25.0.2-1.fc43
B
mesa-libGL
25.0.1-2.fc43
25.0.2-1.fc43
B
llvm-filesystem
20.1.0-1.fc43
20.1.1-1.fc43
B
harfbuzz-icu
10.4.0-1.fc43
11.0.0-1.fc43
B
harfbuzz-cairo
10.4.0-1.fc43
11.0.0-1.fc43
B
mesa-libEGL
25.0.1-2.fc43
25.0.2-1.fc43
B
complete
130516084
2025-03-20 08:24:33
aarch64
├130516138 ( build.log | root.log )
ppc64le
├130516137 ( build.log | root.log )
x86_64
└130516136 ( build.log | root.log )
adwaita-icon-theme
48~beta-1.fc43
48.0-1.fc43
1
git-core
2.48.1-3.fc43
2.49.0-1.fc43
1
adwaita-cursor-theme
48~beta-1.fc43
48.0-1.fc43
2
openssh-clients
9.9p1-12.fc43
9.9p1-13.fc43
2
libcurl
8.13.0~rc1-2.fc43
8.13.0~rc2-1.fc43
2
pango
1.56.2-1.fc43
1.56.3-1.fc43
3
openssh
9.9p1-12.fc43
9.9p1-13.fc43
3
annobin-plugin-gcc
12.92-1.fc43
12.93-1.fc43
3
libxkbcommon
1.8.0-1.fc43
1.8.1-1.fc43
4
libxkbcommon-devel
1.8.0-1.fc43
1.8.1-1.fc43
4
cmake-filesystem
4.0.0~rc4-1.fc43
3.31.6-2.fc43
4
annobin-docs
12.92-1.fc43
12.93-1.fc43
4
pango-devel
1.56.2-1.fc43
1.56.3-1.fc43
4
kernel-headers
6.14.0-0.rc6.49.fc43
6.14.0-0.rc7.56.fc43
4
sysprof-capture-devel
48~rc-1.fc43
48.0-1.fc43
4
setup
2.15.0-14.fc43
2.15.0-21.fc43
4
at-spi2-atk-devel
2.55.90-1.fc43
2.56.0-1.fc43
4
libtinysparql
3.9~rc-1.fc43
3.9.1-1.fc43
4
at-spi2-atk
2.55.90-1.fc43
2.56.0-1.fc43
4
atk
2.55.90-1.fc43
2.56.0-1.fc43
4
atk-devel
2.55.90-1.fc43
2.56.0-1.fc43
4
curl
8.13.0~rc1-2.fc43
8.13.0~rc2-1.fc43
4
at-spi2-core-devel
2.55.90-1.fc43
2.56.0-1.fc43
B
libusb1
1.0.27-8.fc42
1.0.27-9.fc43
B
at-spi2-core
2.55.90-1.fc43
2.56.0-1.fc43
B
2025-03-18 21:55:24
Package dependencies resolved successfuly
2025-03-18 20:57:09
Package resolution failed
  • Problem: package ocaml-lablgtk3-sourceview3-devel-3.1.5-5.fc42.x86_64 from primary-f43-build-6562044 requires gtksourceview3-devel(x86-64), but none of the providers can be installed
    - package gtksourceview3-devel-3.24.11-15.fc42.x86_64 from primary-f43-build-6562044 requires pkgconfig(libxml-2.0) >= 2.6, but none of the providers can be installed
    - conflicting requests
    - nothing provides cmake-filesystem(x86-64) needed by libxml2-devel-2.12.10-1.fc43.x86_64 from primary-f43-build-6562044
  • Problem: package ocaml-cairo-devel-2:0.6.5-2.fc42.x86_64 from primary-f43-build-6562044 requires cairo-devel(x86-64), but none of the providers can be installed
    - package cairo-devel-1.18.2-3.fc42.x86_64 from primary-f43-build-6562044 requires pkgconfig(zlib), but none of the providers can be installed
    - conflicting requests
    - nothing provides cmake-filesystem(x86-64) needed by zlib-ng-compat-devel-2.2.4-2.fc43.x86_64 from primary-f43-build-6562044
2025-03-18 20:53:45
Package resolution failed
  • Problem: package ocaml-cairo-devel-2:0.6.5-2.fc42.x86_64 from primary-f43-build-6562042 requires cairo-devel(x86-64), but none of the providers can be installed
    - package cairo-devel-1.18.2-3.fc42.x86_64 from primary-f43-build-6562042 requires pkgconfig(zlib), but none of the providers can be installed
    - conflicting requests
    - nothing provides cmake-filesystem(x86-64) needed by zlib-ng-compat-devel-2.2.4-2.fc43.x86_64 from primary-f43-build-6562042
  • Problem: package ocaml-lablgtk3-sourceview3-devel-3.1.5-5.fc42.x86_64 from primary-f43-build-6562042 requires gtksourceview3-devel(x86-64), but none of the providers can be installed
    - package gtksourceview3-devel-3.24.11-15.fc42.x86_64 from primary-f43-build-6562042 requires pkgconfig(libxml-2.0) >= 2.6, but none of the providers can be installed
    - conflicting requests
    - nothing provides cmake-filesystem(x86-64) needed by libxml2-devel-2.12.10-1.fc43.x86_64 from primary-f43-build-6562042
complete
130394583
2025-03-17 13:37:05
aarch64
├130394695 ( build.log | root.log )
ppc64le
├130394694 ( build.log | root.log )
x86_64
└130394693 ( build.log | root.log )
icu4j
1:76.1-3.fc42
1:77.1-1.fc43
2
openssl-libs
1:3.2.4-2.fc43
1:3.2.4-3.fc43
2
fontconfig
2.16.0-2.fc42
2.16.1-1.fc43
2
gcc
15.0.1-0.9.fc43
15.0.1-0.10.fc43
2
libgcc
15.0.1-0.9.fc43
15.0.1-0.10.fc43
2
libarchive
3.7.7-3.fc43
3.7.7-4.fc43
2
libcurl
8.13.0~rc1-1.fc43
8.13.0~rc1-2.fc43
2
expat
2.6.4-2.fc42
2.7.0-1.fc43
2
libgomp
15.0.1-0.9.fc43
15.0.1-0.10.fc43
3
libxml2-devel
2.12.9-2.fc42
2.12.10-1.fc43
3
qt5-srpm-macros
5.15.15-1.fc42
5.15.16-1.fc43
3
pango
1.56.1-1.fc42
1.56.2-1.fc43
3
libxml2
2.12.9-2.fc42
2.12.10-1.fc43
3
fontconfig-devel
2.16.0-2.fc42
2.16.1-1.fc43
3
gtk3-devel
3.24.43-4.fc43
3.24.49-1.fc43
3
cpp
15.0.1-0.9.fc43
15.0.1-0.10.fc43
3
gtk3
3.24.43-4.fc43
3.24.49-1.fc43
3
gcc-plugin-annobin
15.0.1-0.9.fc43
15.0.1-0.10.fc43
3
efi-srpm-macros
6-2.fc42
6-3.fc43
3
alternatives
1.31-3.fc42
1.32-1.fc43
3
curl
8.13.0~rc1-1.fc43
8.13.0~rc1-2.fc43
4
libstdc++
15.0.1-0.9.fc43
15.0.1-0.10.fc43
4
libgfortran
15.0.1-0.9.fc43
15.0.1-0.10.fc43
4
sysprof-capture-devel
47.2-2.fc42
48~rc-1.fc43
4
libquadmath
15.0.1-0.9.fc43
15.0.1-0.10.fc43
4
pango-devel
1.56.1-1.fc42
1.56.2-1.fc43
4
cmake-filesystem
4.0.0~rc3-3.fc43
4.0.0~rc4-1.fc43
4
gtk-update-icon-cache
3.24.43-4.fc43
3.24.49-1.fc43
4
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
adwaita-cursor-theme
47.0-2.fc42
48~beta-1.fc43
2
glib2
2.83.5-1.fc43
2.84.0-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
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
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
cmake-filesystem
4.0.0~rc2-3.fc43
4.0.0~rc3-3.fc43
4
avahi-libs
0.9~rc2-2.fc42
0.9~rc2-3.fc43
4
kernel-headers
6.14.0-0.rc5.43.fc43
6.14.0-0.rc6.49.fc43
4
systemd-libs
257.3-7.fc43
257.4-3.fc43
4
curl
8.12.1-1.fc43
8.13.0~rc1-1.fc43
4
gettext
0.23.1-2.fc42
0.24-1.fc43
4
setup
2.15.0-12.fc43
2.15.0-14.fc43
4
libffi-devel
3.4.7-1.fc43
3.4.7-2.fc43
4
libtextstyle
0.23.1-2.fc42
0.24-1.fc43
B
gettext-libs
0.23.1-2.fc42
0.24-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
mesa-libgbm
25.0.0-1.fc43
25.0.1-2.fc43
B
gettext-runtime
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-identity-basic
43-0.6
43-0.7
B
mesa-filesystem
25.0.0-1.fc43
25.0.1-2.fc43
B
llvm-libs
19.1.7-11.fc43
20.1.0-1.fc43
B
systemd-devel
257.3-7.fc43
257.4-3.fc43
B
mesa-dri-drivers
25.0.0-1.fc43
25.0.1-2.fc43
B
mesa-libGL
25.0.0-1.fc43
25.0.1-2.fc43
B
fedora-release-common
43-0.6
43-0.7
B
fedora-release
43-0.6
43-0.7
B
systemd-rpm-macros
257.3-7.fc43
257.4-3.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
libgcc
15.0.1-0.8.fc43
15.0.1-0.9.fc43
2
gcc
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
libtinysparql
3.8~rc-6.fc43
3.9~rc-1.fc43
4
libstdc++
15.0.1-0.8.fc43
15.0.1-0.9.fc43
4
at-spi2-atk
2.55.2-1.fc42
2.55.90-1.fc43
4
google-noto-sans-vf-fonts
20250201-1.fc43
20250301-1.fc43
4
libgfortran
15.0.1-0.8.fc43
15.0.1-0.9.fc43
4
atk-devel
2.55.2-1.fc42
2.55.90-1.fc43
4
at-spi2-atk-devel
2.55.2-1.fc42
2.55.90-1.fc43
4
nspr
4.36.0-4.fc43
4.36.0-5.fc43
4
harfbuzz-devel
10.3.0-1.fc43
10.4.0-1.fc43
4
annobin-docs
12.88-1.fc42
12.92-1.fc43
4
atk
2.55.2-1.fc42
2.55.90-1.fc43
4
nss-softokn
3.108.0-3.fc43
3.109.0-1.fc43
4
harfbuzz
10.3.0-1.fc43
10.4.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
harfbuzz-cairo
10.3.0-1.fc43
10.4.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
hwdata
0.392-1.fc42
0.393-1.fc43
B
harfbuzz-icu
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
Previous history
Koschei version 2afbb17
Authors: Michael Simacek, Mikolaj Izdebski
Copyright © 2014-2018 Red Hat Inc.
User documentation
Project page on GitHub
Reporting issues