Koschei - gappalib-coq

gappalib-coq

Package information

State

ok

Packages

Bodhi

Dist-git

Bugzilla

Koji

File new FTBFS bug

Scheduler parameters

Tracked by Koschei

True

Current priority

146

Manual priority

0

Static priority

0

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

complete

2023-12-08 22:41:43

aarch64

├110078689 ( build.log | root.log )

ppc64le

├110078688 ( build.log | root.log )

x86_64

└110078690 ( build.log | root.log )

perl-File-Compare

1.100.700-498.fc38

1.100.700-497.fc38

2

perl-File-stat

1.12-498.fc38

1.12-497.fc38

2

perl-Errno

1.36-498.fc38

1.36-497.fc38

2

perl-File-Find

1.40-498.fc38

1.40-497.fc38

2

perl-interpreter

4:5.36.3-498.fc38

4:5.36.1-497.fc38

2

perl-libs

4:5.36.3-498.fc38

4:5.36.1-497.fc38

2

perl-IO

1.50-498.fc38

1.50-497.fc38

2

perl-POSIX

2.03-498.fc38

2.03-497.fc38

2

perl-File-Basename

2.85-498.fc38

2.85-497.fc38

2

perl-File-Copy

2.39-498.fc38

2.39-497.fc38

2

perl-Class-Struct

0.66-498.fc38

0.66-497.fc38

2

perl-vars

1.05-498.fc38

1.05-497.fc38

3

perl-B

1.83-498.fc38

1.83-497.fc38

3

perl-Symbol

1.09-498.fc38

1.09-497.fc38

3

perl-DynaLoader

1.52-498.fc38

1.52-497.fc38

3

perl-overload

1.35-498.fc38

1.35-497.fc38

3

perl-locale

1.10-498.fc38

1.10-497.fc38

3

perl-SelectSaver

1.02-498.fc38

1.02-497.fc38

3

perl-Fcntl

1.15-498.fc38

1.15-497.fc38

3

kernel-headers

6.6.2-101.fc38

6.6.3-100.fc38

4

perl-mro

1.26-498.fc38

1.26-497.fc38

4

perl-Getopt-Std

1.13-498.fc38

1.13-497.fc38

4

perl-if

0.61.000-498.fc38

0.61.000-497.fc38

4

systemd-libs

253.12-1.fc38

253.13-1.fc38

4

perl-overloading

0.02-498.fc38

0.02-497.fc38

4

rpm-sequoia

1.5.0-1.fc38

1.5.0-2.fc38

B

perl-base

2.27-498.fc38

2.27-497.fc38

B

perl-AutoLoader

5.74-498.fc38

5.74-497.fc38

B

perl-IPC-Open3

1.22-498.fc38

1.22-497.fc38

B

perl-FileHandle

2.03-498.fc38

2.03-497.fc38

B

show 20 more collapse

complete

2023-12-03 14:23:17

aarch64

├109850721 ( build.log | root.log )

ppc64le

├109850723 ( build.log | root.log )

x86_64

└109850722 ( build.log | root.log )

No dependency changes

2023-11-30 06:50:36

Package dependencies resolved successfuly

Real build: gappalib-coq-1.5.3-2.fc38

complete

2023-10-18 16:11:26

aarch64

├107715106 ( build.log | root.log )

ppc64le

├107715107 ( build.log | root.log )

s390x

├107715108 ( build.log | root.log )

x86_64

└107715105 ( build.log | root.log )

Dependencies for this build couldn't be processed

2023-10-15 09:28:53

Package resolution failed

No package found for: coq = 8.16.1