gappalib-coq

Package information

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

Scheduler parameters

Package is currently ineligible for scheduling due to following reasons:
  • No suitable SRPM was found
  • Package dependencies were not resolved yet
  • Package has no known build
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

State overview

Groups

This package is not part of any global group.

Historical builds

complete
111331204
2024-01-05 13:16:01
aarch64
├111331283 ( build.log | root.log )
x86_64
└111331284 ( build.log | root.log )
glibc
2.38.9000-29.fc40
2.38.9000-30.fc40
2
perl-Exporter
5.77-500.fc39
5.78-1.fc40
2
redhat-rpm-config
272-1.fc40
274-1.fc40
2
qt6-srpm-macros
6.6.1-2.fc40
6.6.1-3.fc40
3
glibc-common
2.38.9000-29.fc40
2.38.9000-30.fc40
3
binutils
2.41-17.fc40
2.41-20.fc40
3
glibc-devel
2.38.9000-29.fc40
2.38.9000-30.fc40
3
glibc-gconv-extra
2.38.9000-29.fc40
2.38.9000-30.fc40
3
glibc-minimal-langpack
2.38.9000-29.fc40
2.38.9000-30.fc40
3
annobin-plugin-gcc
12.34-1.fc40
12.35-1.fc40
3
qt5-srpm-macros
5.15.11-1.fc40
5.15.12-1.fc40
3
libselinux
3.6-1.fc40
3.6-2.fc40
4
libcap-ng
0.8.4-1.fc40
0.8.4-2.fc40
4
glibc-headers-x86
2.38.9000-29.fc40
2.38.9000-30.fc40
4
binutils-gold
2.41-17.fc40
2.41-20.fc40
4
annobin-docs
12.34-1.fc40
12.35-1.fc40
4
libtirpc
1.3.4-0.fc40
1.3.4-1.rc1.fc40
B
perl-Digest-MD5
2.58-501.fc40
2.59-1.fc40
B
python-pip-wheel
23.2.1-1.fc39
23.3.1-2.fc40
B
tzdata
2023c-5.fc40
2023d-1.fc40
B
2024-01-02 21:37:58
Package dependencies resolved successfuly
2024-01-02 21:34:02
Package resolution failed
  • No package found for: coq = 8.18.0
Real build: gappalib-coq-1.5.4-1.fc40
complete
111206093
2024-01-02 19:32:52
aarch64
├111206135 ( build.log | root.log )
s390x
├111206136 ( build.log | root.log )
x86_64
└111206134 ( build.log | root.log )
gappa
1.4.1-3.fc39
1.4.2-1.fc40
1
coq
8.17.1-8.fc40
8.18.0-1.fc40
1
flocq
4.1.1-8.fc40
4.1.3-1.fc40
1
coq-core
8.17.1-8.fc40
8.18.0-1.fc40
2
kernel-headers
6.7.0-0.rc7.54.fc40
6.7.0-0.rc8.61.fc40
4
fedora-release-common
40-0.20
40-0.26
B
fedora-release
40-0.20
40-0.26
B
libffi
3.4.4-4.fc39
3.4.4-5.fc40
B
fedora-release-identity-basic
40-0.20
40-0.26
B
complete
111153966
2024-01-01 16:34:09
aarch64
├111154034 ( build.log | root.log )
x86_64
└111154033 ( build.log | root.log )
util-linux
2.39.2-1.fc40
2.39.3-1.fc40
3
libfdisk
2.39.2-1.fc40
2.39.3-1.fc40
4
libsmartcols
2.39.2-1.fc40
2.39.3-1.fc40
4
libblkid
2.39.2-1.fc40
2.39.3-1.fc40
4
libmount
2.39.2-1.fc40
2.39.3-1.fc40
4
util-linux-core
2.39.2-1.fc40
2.39.3-1.fc40
4
libuuid
2.39.2-1.fc40
2.39.3-1.fc40
4
complete
110975974
2023-12-28 20:36:29
aarch64
├110976036 ( build.log | root.log )
x86_64
└110976037 ( build.log | root.log )
redhat-rpm-config
271-1.fc40
272-1.fc40
2
zlib-ng-compat
2.1.3-7.fc40
2.1.5-1.fc40
2
qt6-srpm-macros
6.6.1-1.fc40
6.6.1-2.fc40
3
zig-srpm-macros
1-1.fc40
3
kernel-headers
6.7.0-0.rc6.48.fc40
6.7.0-0.rc7.54.fc40
4
complete
110763292
2023-12-24 03:29:18
aarch64
├110763356 ( build.log | root.log )
x86_64
└110763357 ( build.log | root.log )
zlib-ng-compat
2.1.3-7.fc40
2
glibc
2.38.9000-28.fc40
2.38.9000-29.fc40
2
glibc-common
2.38.9000-28.fc40
2.38.9000-29.fc40
3
glibc-gconv-extra
2.38.9000-28.fc40
2.38.9000-29.fc40
3
python3
3.12.1-1.fc40
3.12.1-2.fc40
3
glibc-devel
2.38.9000-28.fc40
2.38.9000-29.fc40
3
libxcrypt
4.4.36-2.fc39
4.4.36-3.fc40
3
glibc-minimal-langpack
2.38.9000-28.fc40
2.38.9000-29.fc40
3
python3-libs
3.12.1-1.fc40
3.12.1-2.fc40
4
libcap-ng
0.8.3-8.fc40
0.8.4-1.fc40
4
glibc-headers-x86
2.38.9000-28.fc40
2.38.9000-29.fc40
4
libxcrypt-devel
4.4.36-2.fc39
4.4.36-3.fc40
4
libssh
0.10.5-2.fc39
0.10.6-2.fc40
B
libssh-config
0.10.5-2.fc39
0.10.6-2.fc40
B
zlib
1.2.13-5.fc40
Real build: gappalib-coq-1.5.3-8.fc40
complete
110510796
2023-12-18 15:47:36
aarch64
├110511069 ( build.log | root.log )
s390x
├110511071 ( build.log | root.log )
x86_64
└110511067 ( build.log | root.log )
flocq
4.1.1-7.fc40
4.1.1-8.fc40
1
ocaml-zarith-devel
1.13-3.fc40
1.13-4.fc40
1
ocaml-findlib
1.9.6-7.fc40
1.9.6-8.fc40
1
ocaml
5.1.1-1.fc40
5.1.1-2.fc40
1
coq
8.17.1-7.fc40
8.17.1-8.fc40
1
ocaml-zarith
1.13-3.fc40
1.13-4.fc40
2
coq-core
8.17.1-7.fc40
8.17.1-8.fc40
2
ocaml-runtime
5.1.1-1.fc40
5.1.1-2.fc40
2
pam-libs
1.5.3-8.fc40
1.5.3-9.fc40
4
kernel-headers
6.7.0-0.rc5.41.fc40
6.7.0-0.rc6.48.fc40
4
pam
1.5.3-8.fc40
1.5.3-9.fc40
4
Previous history
Koschei version
Authors: Michael Simacek, Mikolaj Izdebski
Copyright © 2014-2018 Red Hat Inc.
User documentation
Project page on GitHub
Reporting issues