gappalib-coq

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

2024-01-12 00:26:01
Package resolution failed
  • No package found for: coq = 8.17.1
complete
2024-01-07 11:50:29
util-linux
2.39.2-1.fc39
2.39.3-1.fc39
3
python3
3.12.1-1.fc39
3.12.1-2.fc39
3
libmount
2.39.2-1.fc39
2.39.3-1.fc39
4
libblkid
2.39.2-1.fc39
2.39.3-1.fc39
4
util-linux-core
2.39.2-1.fc39
2.39.3-1.fc39
4
libfdisk
2.39.2-1.fc39
2.39.3-1.fc39
4
libsmartcols
2.39.2-1.fc39
2.39.3-1.fc39
4
python3-libs
3.12.1-1.fc39
3.12.1-2.fc39
4
libuuid
2.39.2-1.fc39
2.39.3-1.fc39
4
tzdata
2023c-2.fc39
2023d-1.fc39
B
libssh
0.10.6-1.fc39
0.10.6-2.fc39
B
libssh-config
0.10.6-1.fc39
0.10.6-2.fc39
B
complete
2024-01-03 02:26:21
Dependencies for this build couldn't be processed
complete
2023-12-25 13:43:31
rpm
4.19.0-1.fc39
4.19.1-1.fc39
3
pyproject-srpm-macros
1.10.0-1.fc39
1.11.0-1.fc39
3
python3
3.12.0-1.fc39
3.12.1-1.fc39
3
rpm-build
4.19.0-1.fc39
4.19.1-1.fc39
4
rpm-libs
4.19.0-1.fc39
4.19.1-1.fc39
4
libcap
2.48-8.fc39
2.48-9.fc39
4
python3-libs
3.12.0-1.fc39
3.12.1-1.fc39
4
gdb-minimal
13.2-11.fc39
14.1-1.fc39
B
crypto-policies
20231113-1.gitb402e82....
20231204-1.git1e3a2e4....
B
rpm-build-libs
4.19.0-1.fc39
4.19.1-1.fc39
B
libssh-config
0.10.5-2.fc39
0.10.6-1.fc39
B
libssh
0.10.5-2.fc39
0.10.6-1.fc39
B
debugedit
5.0-10.fc39
5.0-12.fc39
B
complete
2023-12-10 20:49:13
gcc-c++
13.2.1-4.fc39
13.2.1-6.fc39
1
libgcc
13.2.1-4.fc39
13.2.1-6.fc39
2
libstdc++-devel
13.2.1-4.fc39
13.2.1-6.fc39
2
glibc
2.38-11.fc39
2.38-14.fc39
2
gcc
13.2.1-4.fc39
13.2.1-6.fc39
2
libstdc++
13.2.1-4.fc39
13.2.1-6.fc39
2
libgomp
13.2.1-4.fc39
13.2.1-6.fc39
3
cpp
13.2.1-4.fc39
13.2.1-6.fc39
3
gcc-plugin-annobin
13.2.1-4.fc39
13.2.1-6.fc39
3
glibc-common
2.38-11.fc39
2.38-14.fc39
3
glibc-gconv-extra
2.38-11.fc39
2.38-14.fc39
3
glibc-minimal-langpack
2.38-11.fc39
2.38-14.fc39
3
glibc-devel
2.38-11.fc39
2.38-14.fc39
3
elfutils-debuginfod-client
0.190-1.fc39
0.190-4.fc39
4
glibc-headers-x86
2.38-11.fc39
2.38-14.fc39
4
libacl
2.3.1-8.fc39
2.3.1-9.fc39
4
elfutils-libelf
0.190-1.fc39
0.190-4.fc39
4
curl
8.2.1-3.fc39
8.2.1-4.fc39
4
kernel-headers
6.6.2-201.fc39
6.6.3-200.fc39
4
rpm-sequoia
1.5.0-1.fc39
1.5.0-2.fc39
B
libquadmath
13.2.1-4.fc39
13.2.1-6.fc39
B
elfutils-default-yama-scope
0.190-1.fc39
0.190-4.fc39
B
libgfortran
13.2.1-4.fc39
13.2.1-6.fc39
B
elfutils-libs
0.190-1.fc39
0.190-4.fc39
B
elfutils
0.190-1.fc39
0.190-4.fc39
B
libcurl
8.2.1-3.fc39
8.2.1-4.fc39
B
complete
2023-12-03 09:37:43
perl-libs
4:5.38.0-501.fc39
4:5.38.2-502.fc39
2
perl-File-Find
1.43-501.fc39
1.43-502.fc39
2
perl-POSIX
2.13-501.fc39
2.13-502.fc39
2
perl-File-Basename
2.86-501.fc39
2.86-502.fc39
2
perl-IO
1.52-501.fc39
1.52-502.fc39
2
perl-Errno
1.37-501.fc39
1.37-502.fc39
2
perl-File-Copy
2.41-501.fc39
2.41-502.fc39
2
glibc
2.38-10.fc39
2.38-11.fc39
2
perl-File-Compare
1.100.700-501.fc39
1.100.700-502.fc39
2
perl-interpreter
4:5.38.0-501.fc39
4:5.38.2-502.fc39
2
perl-Class-Struct
0.68-501.fc39
0.68-502.fc39
2
perl-File-stat
1.13-501.fc39
1.13-502.fc39
2
glibc-gconv-extra
2.38-10.fc39
2.38-11.fc39
3
perl-overload
1.37-501.fc39
1.37-502.fc39
3
perl-B
1.88-501.fc39
1.88-502.fc39
3
perl-Fcntl
1.15-501.fc39
1.15-502.fc39
3
glibc-minimal-langpack
2.38-10.fc39
2.38-11.fc39
3
glibc-devel
2.38-10.fc39
2.38-11.fc39
3
glibc-common
2.38-10.fc39
2.38-11.fc39
3
perl-Symbol
1.09-501.fc39
1.09-502.fc39
3
perl-locale
1.10-501.fc39
1.10-502.fc39
3
perl-vars
1.05-501.fc39
1.05-502.fc39
3
perl-DynaLoader
1.54-501.fc39
1.54-502.fc39
3
perl-SelectSaver
1.02-501.fc39
1.02-502.fc39
3
perl-overloading
0.02-501.fc39
0.02-502.fc39
4
glibc-headers-x86
2.38-10.fc39
2.38-11.fc39
4
perl-if
0.61.000-501.fc39
0.61.000-502.fc39
4
perl-mro
1.28-501.fc39
1.28-502.fc39
4
systemd-libs
254.5-2.fc39
254.7-1.fc39
4
libcap
2.48-7.fc39
2.48-8.fc39
4
perl-Getopt-Std
1.13-501.fc39
1.13-502.fc39
4
kernel-headers
6.5.4-300.fc39
6.6.2-201.fc39
4
perl-AutoLoader
5.74-501.fc39
5.74-502.fc39
B
fedora-release
39-30
39-34
B
perl-IPC-Open3
1.22-501.fc39
1.22-502.fc39
B
perl-base
2.27-501.fc39
2.27-502.fc39
B
fedora-release-common
39-30
39-34
B
fedora-release-identity-basic
39-30
39-34
B
gdb-minimal
13.2-10.fc39
13.2-11.fc39
B
perl-FileHandle
2.05-501.fc39
2.05-502.fc39
B