Koschei - zenon

Package information

State

unresolved

Packages

Bodhi

Dist-git

Bugzilla

Koji

File new FTBFS bug

Scheduler parameters

Package is currently ineligible for scheduling due to following reasons:

Package dependencies are not resolvable

Tracked by Koschei

True

Current priority

Manual priority

Static priority

Arch override

None

Skip resolution

False

Configure scheduling

Dependency changes since last build

No dependency changes

State overview

Groups

This package is not part of any global group.

Most recent builds

2023-04-15 00:31:15

Package resolution failed

No package found for: coq = 8.16.1

99942683

2023-04-14 16:14:02

aarch64

├99942823 ( build.log | root.log )

ppc64le

├99942819 ( build.log | root.log )

x86_64

└99942821 ( build.log | root.log )

gcc

13.0.1-0.8.fc38

13.0.1-0.12.fc38

libgcc

13.0.1-0.8.fc38

13.0.1-0.12.fc38

annobin-plugin-gcc

11.14-1.fc38

12.01-1.fc38

gcc-plugin-annobin

13.0.1-0.8.fc38

13.0.1-0.12.fc38

libgomp

13.0.1-0.8.fc38

13.0.1-0.12.fc38

cpp

13.0.1-0.8.fc38

13.0.1-0.12.fc38

annobin-docs

11.14-1.fc38

12.01-1.fc38

libstdc++

13.0.1-0.8.fc38

13.0.1-0.12.fc38

fedora-repos

38-0.5

38-1

libgfortran

13.0.1-0.8.fc38

13.0.1-0.12.fc38

fedora-release-identity-basic

38-0.32

38-34

fedora-gpg-keys

38-0.5

38-1

libquadmath

13.0.1-0.8.fc38

13.0.1-0.12.fc38

fedora-release-common

38-0.32

38-34

fedora-release

38-0.32

38-34

netpbm

11.01.00-2.fc38

11.02.00-1.fc38

show 6 more collapse

2023-04-03 21:35:40

Package dependencies resolved successfuly

2023-04-03 20:35:56

Package resolution failed

No package found for: coq = 8.16.1

Real build: zenon-0.8.5-15.fc38

99495031

2023-04-03 20:33:36

aarch64

├99495177 ( build.log | root.log )

ppc64le

├99495178 ( build.log | root.log )

s390x

├99495179 ( build.log | root.log )

x86_64

└99495176 ( build.log | root.log )

Dependencies for this build couldn't be processed

99462642

2023-04-03 03:22:30

aarch64

├99462687 ( build.log | root.log )

ppc64le

├99462689 ( build.log | root.log )

x86_64

└99462688 ( build.log | root.log )

ghostscript

10.0.0-4.fc38

10.01.0-1.fc38

ImageMagick

1:7.1.1.4-2.fc38

1:7.1.1.4-3.fc38

ghostscript-tools-fonts

10.0.0-4.fc38

10.01.0-1.fc38

ghostscript-tools-printing

10.0.0-4.fc38

10.01.0-1.fc38

ImageMagick-libs

1:7.1.1.4-2.fc38

1:7.1.1.4-3.fc38

libgs

10.0.0-4.fc38

10.01.0-1.fc38

harfbuzz

7.0.1-2.fc38

7.1.0-1.fc38

librsvg2

2.55.90-1.fc38

2.56.0-1.fc38

cups-libs

1:2.4.2-10.fc38

1:2.4.2-11.fc38

tzdata

2022g-2.fc38

2023c-1.fc38

systemd-libs

253-6.fc38

253.2-1.fc38

curl

7.87.0-6.fc38

7.87.0-7.fc38

libcurl

7.87.0-6.fc38

7.87.0-7.fc38

fedora-release-common

38-0.30

38-0.32

fedora-release

38-0.30

38-0.32

fedora-release-identity-basic

38-0.30

38-0.32

publicsuffix-list-dafsa

20221208-2.fc38

20230318-1.fc38

show 7 more collapse

99213135

2023-03-28 00:42:21

aarch64

├99213160 ( build.log | root.log )

ppc64le

├99213161 ( build.log | root.log )

x86_64

└99213162 ( build.log | root.log )

ImageMagick

1:7.1.0.62-2.fc38

1:7.1.1.4-2.fc38

ghostscript

10.0.0-3.fc38

10.0.0-4.fc38

gcc

13.0.1-0.7.fc38

13.0.1-0.8.fc38

ghostscript-tools-fonts

10.0.0-3.fc38

10.0.0-4.fc38

ImageMagick-libs

1:7.1.0.62-2.fc38

1:7.1.1.4-2.fc38

libgs

10.0.0-3.fc38

10.0.0-4.fc38

ghostscript-tools-printing

10.0.0-3.fc38

10.0.0-4.fc38

libheif

1.15.1-2.fc38

glib2

2.76.0-1.fc38

2.76.1-1.fc38

annobin-plugin-gcc

11.11-1.fc38

11.14-1.fc38

libgcc

13.0.1-0.7.fc38

13.0.1-0.8.fc38

cpp

13.0.1-0.7.fc38

13.0.1-0.8.fc38

openexr-libs

3.1.5-3.fc38

3.1.6-1.fc38

libgomp

13.0.1-0.7.fc38

13.0.1-0.8.fc38

python-srpm-macros

3.11-9.fc38

3.11-10.fc38

gcc-plugin-annobin

13.0.1-0.7.fc38

13.0.1-0.8.fc38

annobin-docs

11.11-1.fc38

11.14-1.fc38

alternatives

1.21-2.fc38

1.22-1.fc38

openssl-libs

1:3.0.8-1.fc38

1:3.0.8-2.fc38

libstdc++

13.0.1-0.7.fc38

13.0.1-0.8.fc38

shadow-utils

2:4.13-5.fc38

2:4.13-6.fc38

gdb-minimal

13.1-1.fc38

13.1-2.fc38

libgfortran

13.0.1-0.7.fc38

13.0.1-0.8.fc38

libquadmath

13.0.1-0.7.fc38

13.0.1-0.8.fc38

tar

2:1.34-7.fc38

2:1.34-8.fc38

libsemanage

3.5-1.fc38

3.5-2.fc38

show 16 more collapse