zenon

Package information

State
unresolved

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

Groups

This package is not part of any global group.

Most recent builds

2022-09-22 01:52:49
Package resolution failed
  • No package found for: coq = 8.15.2
ImageMagick
1:6.9.12.61-1.fc37
1:6.9.12.63-1.fc37
1
ghostscript
9.55.0-5.fc37
9.56.1-2.fc37
1
libgs
9.55.0-5.fc37
9.56.1-2.fc37
2
ghostscript-tools-printing
9.55.0-5.fc37
9.56.1-2.fc37
2
ghostscript-tools-fonts
9.55.0-5.fc37
9.56.1-2.fc37
2
ImageMagick-libs
1:6.9.12.61-1.fc37
1:6.9.12.63-1.fc37
2
gcc
12.2.1-1.fc37
12.2.1-2.fc37
2
python3
3.11.0~rc1-2.fc37
3.11.0~rc2-1.fc37
3
libgomp
12.2.1-1.fc37
12.2.1-2.fc37
3
cpp
12.2.1-1.fc37
12.2.1-2.fc37
3
libgcc
12.2.1-1.fc37
12.2.1-2.fc37
3
gcc-plugin-annobin
12.2.1-1.fc37
12.2.1-2.fc37
3
python3-libs
3.11.0~rc1-2.fc37
3.11.0~rc2-1.fc37
4
libstdc++
12.2.1-1.fc37
12.2.1-2.fc37
4
python-pip-wheel
22.2-1.fc37
22.2.2-2.fc37
B
libgfortran
12.2.1-1.fc37
12.2.1-2.fc37
B
libquadmath
12.2.1-1.fc37
12.2.1-2.fc37
B
Real build: zenon-0.8.5-10.fc37
Dependencies for this build couldn't be processed
glibc
2.36-1.fc37
2.36-3.fc37
2
package-notes-srpm-macros
0.5-4.fc37
0.5-6.fc37
3
zlib
1.2.12-4.fc37
1.2.12-5.fc37
3
rpm
4.18.0-0.beta1.4.fc37
4.18.0-0.rc1.3.fc37
3
glibc-gconv-extra
2.36-1.fc37
2.36-3.fc37
3
binutils
2.38-23.fc37
2.38-24.fc37
3
fonts-srpm-macros
1:2.0.5-8.fc37
1:2.0.5-9.fc37
3
glibc-minimal-langpack
2.36-1.fc37
2.36-3.fc37
3
librsvg2
2.54.4-2.fc37
2.54.5-1.fc37
3
go-srpm-macros
3.1.0-4.fc37
3.2.0-1.fc37
3
glib2
2.73.2-8.fc37
2.73.3-3.fc37
3
glibc-common
2.36-1.fc37
2.36-3.fc37
3
glibc-devel
2.36-1.fc37
2.36-3.fc37
3
glibc-headers-x86
2.36-1.fc37
2.36-3.fc37
4
kernel-headers
5.19.0-1.fc37
5.19.4-300.fc37
4
elfutils-libelf
0.187-6.fc37
0.187-8.fc37
4
rpm-libs
4.18.0-0.beta1.4.fc37
4.18.0-0.rc1.3.fc37
4
binutils-gold
2.38-23.fc37
2.38-24.fc37
4
curl
7.84.0-2.fc37
7.85.0-1.fc37
4
popt
1.19~rc1-3.fc37
1.19~rc1-4.fc37
4
elfutils-debuginfod-client
0.187-6.fc37
0.187-8.fc37
4
audit-libs
3.0.8-3.fc37
3.0.9-1.fc37
4
fonts-filesystem
1:2.0.5-8.fc37
1:2.0.5-9.fc37
4
google-noto-sans-vf-fonts
20201206^1.git0c78c8329-2.fc37
20201206^1.git0c78c8329-3.fc37
B
elfutils
0.187-6.fc37
0.187-8.fc37
B
libXau
1.0.9-9.fc37
1.0.10-1.fc37
B
libnghttp2
1.48.0-2.fc37
1.49.0-1.fc37
B
shadow-utils
2:4.11.1-4.fc37
2:4.12.3-1.fc37
B
openblas
0.3.20-2.fc37
0.3.21-3.fc37
B
libssh
0.9.6-5.fc37
0.10.4-1.fc37
B
elfutils-libs
0.187-6.fc37
0.187-8.fc37
B
libssh-config
0.9.6-5.fc37
0.10.4-1.fc37
B
openblas-openmp
0.3.20-2.fc37
0.3.21-3.fc37
B
elfutils-default-yama-scope
0.187-6.fc37
0.187-8.fc37
B
google-noto-fonts-common
20201206^1.git0c78c8329-2.fc37
20201206^1.git0c78c8329-3.fc37
B
cracklib
2.9.6-28.fc36
2.9.7-30.fc37
B
rpm-build
4.18.0-0.beta1.4.fc37
4.18.0-0.rc1.3.fc37
B
libcurl
7.84.0-2.fc37
7.85.0-1.fc37
B
rpm-build-libs
4.18.0-0.beta1.4.fc37
4.18.0-0.rc1.3.fc37
B
ImageMagick
1:6.9.12.58-3.fc37
1:6.9.12.61-1.fc37
1
redhat-rpm-config
227-1.fc37
228-1.fc37
2
texlive-base
9:20210325-51.fc37
9:20210325-52.fc37
2
ImageMagick-libs
1:6.9.12.58-3.fc37
1:6.9.12.61-1.fc37
2
gcc
12.1.1-3.fc37.1
12.2.1-1.fc37
2
libgomp
12.1.1-3.fc37.1
12.2.1-1.fc37
3
gcc-plugin-annobin
12.1.1-3.fc37.1
12.2.1-1.fc37
3
libgcc
12.1.1-3.fc37.1
12.2.1-1.fc37
3
cpp
12.1.1-3.fc37.1
12.2.1-1.fc37
3
systemd-libs
251.4-51.fc37
251.4-53.fc37
4
tzdata
2022b-1.fc37
2022c-1.fc37
4
libstdc++
12.1.1-3.fc37.1
12.2.1-1.fc37
4
cyrus-sasl-lib
2.1.28-7.fc37
2.1.28-8.fc37
B
fedora-release
37-0.11
37-0.12
B
fedora-release-common
37-0.11
37-0.12
B
libgfortran
12.1.1-3.fc37.1
12.2.1-1.fc37
B
libquadmath
12.1.1-3.fc37.1
12.2.1-1.fc37
B
fedora-release-identity-basic
37-0.11
37-0.12
B
dbus-libs
1:1.14.0-3.fc37
1:1.14.0-5.fc37
B
Real build: zenon-0.8.5-9.fc37
glib2
2.73.2-7.fc37
2.73.2-8.fc37
3
cups-libs
1:2.4.2-3.fc37
1:2.4.2-4.fc37
3
package-notes-srpm-macros
0.4-16.fc37
0.5-4.fc37
3
python3
3.11.0~rc1-1.fc37
3.11.0~rc1-2.fc37
3
ansible-srpm-macros
1-6.fc37
1-7.fc37
3
libxcrypt
4.4.28-2.fc37
4.4.28-3.fc37
3
libxcrypt-devel
4.4.28-2.fc37
4.4.28-3.fc37
4
python3-libs
3.11.0~rc1-1.fc37
3.11.0~rc1-2.fc37
4
tzdata
2022a-4.fc37
2022b-1.fc37
4
fedora-repos
37-0.5
37-0.6
B
fedora-gpg-keys
37-0.5
37-0.6
B
fedora-release-identity-basic
37-0.10
37-0.11
B
crypto-policies
20220802-1.gita99dfd2....
20220815-1.gite4ed860....
B
fedora-release
37-0.10
37-0.11
B
openldap
2.6.2-5.fc37
2.6.3-1.fc37
B
fedora-release-common
37-0.10
37-0.11
B
crypto-policies-scripts
20220802-1.gita99dfd2....
20220815-1.gite4ed860....
B
texlive-base
9:20210325-49.fc37
9:20210325-51.fc37
2
redhat-rpm-config
226-1.fc37
227-1.fc37
2
glibc
2.35.9000-32.fc37
2.36-1.fc37
2
gdk-pixbuf2
2.42.8-4.fc37
2.42.9-1.fc37
3
annobin-plugin-gcc
10.79-1.fc37
10.81-1.fc37
3
filesystem
3.18-1.fc37
3.18-2.fc37
3
glibc-common
2.35.9000-32.fc37
2.36-1.fc37
3
pango
1.50.8-3.fc37
1.50.9-1.fc37
3
libwebp
1.2.3-2.fc37
1.2.4-1.fc37
3
go-srpm-macros
3.0.15-3.fc37
3.1.0-4.fc37
3
coreutils
9.1-4.fc37
9.1-6.fc37
3
glibc-minimal-langpack
2.35.9000-32.fc37
2.36-1.fc37
3
python3
3.11.0~b5-1.fc37
3.11.0~rc1-1.fc37
3
glibc-gconv-extra
2.35.9000-32.fc37
2.36-1.fc37
3
glibc-devel
2.35.9000-32.fc37
2.36-1.fc37
3
poppler-glib
22.01.0-6.fc37
22.08.0-1.fc37
4
coreutils-common
9.1-4.fc37
9.1-6.fc37
4
python3-libs
3.11.0~b5-1.fc37
3.11.0~rc1-1.fc37
4
systemd-libs
251.3-2.fc37
251.4-51.fc37
4
glibc-headers-x86
2.35.9000-32.fc37
2.36-1.fc37
4
annobin-docs
10.79-1.fc37
10.81-1.fc37
4
libtirpc
1.3.2-1.rc5.fc37
1.3.3-0.fc37
B
poppler
22.01.0-6.fc37
22.08.0-1.fc37
B
fedora-release
37-0.9
37-0.10
B
fedora-release-identity-basic
37-0.9
37-0.10
B
fedora-gpg-keys
37-0.3
37-0.5
B
fedora-repos-rawhide
37-0.3
fedora-repos
37-0.3
37-0.5
B
rav1e-libs
0.5.1-4.fc37
0.5.1-5.fc37
B
openldap
2.6.2-4.fc37
2.6.2-5.fc37
B
fedora-release-common
37-0.9
37-0.10
B
texlive-base
9:20210325-48.fc37
9:20210325-49.fc37
2
glibc
2.35.9000-31.fc37
2.35.9000-32.fc37
2
util-linux
2.38-5.fc37
2.38.1-1.fc37
3
binutils
2.38-18.fc37
2.38-23.fc37
3
cups-libs
1:2.4.2-2.fc37
1:2.4.2-3.fc37
3
glibc-gconv-extra
2.35.9000-31.fc37
2.35.9000-32.fc37
3
harfbuzz
5.1.0-1.fc37
5.1.0-2.fc37
3
glibc-minimal-langpack
2.35.9000-31.fc37
2.35.9000-32.fc37
3
glibc-common
2.35.9000-31.fc37
2.35.9000-32.fc37
3
filesystem
3.16-4.fc37
3.18-1.fc37
3
rpm
4.18.0-0.beta1.3.fc37
4.18.0-0.beta1.4.fc37
3
glibc-devel
2.35.9000-31.fc37
2.35.9000-32.fc37
3
langpacks-core-font-en
3.0-24.fc37
3.0-26.fc37
4
libsmartcols
2.38-5.fc37
2.38.1-1.fc37
4
util-linux-core
2.38-5.fc37
2.38.1-1.fc37
4
libblkid
2.38-5.fc37
2.38.1-1.fc37
4
libmount
2.38-5.fc37
2.38.1-1.fc37
4
libfdisk
2.38-5.fc37
2.38.1-1.fc37
4
rpm-libs
4.18.0-0.beta1.3.fc37
4.18.0-0.beta1.4.fc37
4
binutils-gold
2.38-18.fc37
2.38-23.fc37
4
glibc-headers-x86
2.35.9000-31.fc37
2.35.9000-32.fc37
4
libuuid
2.38-5.fc37
2.38.1-1.fc37
4
avahi-libs
0.8-16.fc37
0.8-17.fc37
4
libtirpc
1.3.2-1.rc4.fc37
1.3.2-1.rc5.fc37
B
rpm-build
4.18.0-0.beta1.3.fc37
4.18.0-0.beta1.4.fc37
B
google-noto-fonts-common
20201206^1.git0c78c8329-1.fc37
20201206^1.git0c78c8329-2.fc37
B
crypto-policies
20220428-2.gitdfb10ea....
20220802-1.gita99dfd2....
B
cyrus-sasl-lib
2.1.28-6.fc37
2.1.28-7.fc37
B
google-noto-sans-vf-fonts
20201206^1.git0c78c8329-1.fc37
20201206^1.git0c78c8329-2.fc37
B
which
2.21-34.fc37
2.21-35.fc37
B
crypto-policies-scripts
20220428-2.gitdfb10ea....
20220802-1.gita99dfd2....
B
rpm-build-libs
4.18.0-0.beta1.3.fc37
4.18.0-0.beta1.4.fc37
B
Previous history