Koschei - gappalib-coq - build 127744319

Build details

Build information

State

complete

complete

Name

gappalib-coq

Epoch

None

Version

1.5.5

Release

6.fc42

Started

2025-01-10 17:13:51

Finished

2025-01-10 17:20:33

Koji repo

6541981

Koji tasks

Build logs

aarch64

build.log | root.log

ppc64le

build.log | root.log

s390x

build.log | root.log

x86_64

build.log | root.log

Dependency changes from previous build

flocq

4.2.0-2.fc41

4.2.0-3.fc42

1

ocaml-zarith-devel

1.14-2.fc41

1.14-4.fc42

1

coq

8.18.0-10.fc41

8.20.0-1.fc42

1

ocaml

5.2.0-3.fc41

5.3.0-1.fc42

1

ocaml-findlib

1.9.6-14.fc41

1.9.8-1.fc42

1

perl-IO

1.55-512.fc42

1.55-513.fc42

2

perl-interpreter

4:5.40.0-512.fc42

4:5.40.0-513.fc42

2

zlib-ng-compat

2.2.2-1.fc42

2.2.3-1.fc42

2

perl-POSIX

2.20-512.fc42

2.20-513.fc42

2

ocaml-runtime

5.2.0-3.fc41

5.3.0-1.fc42

2

perl-File-Copy

2.41-512.fc42

2.41-513.fc42

2

perl-libs

4:5.40.0-512.fc42

4:5.40.0-513.fc42

2

coq-core

8.18.0-10.fc41

8.20.0-1.fc42

2

perl-File-Basename

2.86-512.fc42

2.86-513.fc42

2

perl-Class-Struct

0.68-512.fc42

0.68-513.fc42

2

glibc

2.40.9000-26.fc42

2.40.9000-27.fc42

2

ocaml-zarith

1.14-2.fc41

1.14-4.fc42

2

perl-File-stat

1.14-512.fc42

1.14-513.fc42

2

perl-File-Find

1.44-512.fc42

1.44-513.fc42

2

perl-File-Compare

1.100.800-512.fc42

1.100.800-513.fc42

2

perl-Errno

1.38-512.fc42

1.38-513.fc42

2

perl-SelectSaver

1.02-512.fc42

1.02-513.fc42

3

perl-locale

1.12-512.fc42

1.12-513.fc42

3

glibc-devel

2.40.9000-26.fc42

2.40.9000-27.fc42

3

glibc-minimal-langpack

2.40.9000-26.fc42

2.40.9000-27.fc42

3

glibc-common

2.40.9000-26.fc42

2.40.9000-27.fc42

3

perl-B

1.89-512.fc42

1.89-513.fc42

3

perl-DynaLoader

1.56-512.fc42

1.56-513.fc42

3

perl-Fcntl

1.18-512.fc42

1.18-513.fc42

3

ocaml-compiler-libs

5.2.0-3.fc41

5.3.0-1.fc42

3

perl-Symbol

1.09-512.fc42

1.09-513.fc42

3

perl-overload

1.37-512.fc42

1.37-513.fc42

3

glibc-gconv-extra

2.40.9000-26.fc42

2.40.9000-27.fc42

3

perl-base

2.27-512.fc42

2.27-513.fc42

3

perl-overloading

0.02-512.fc42

0.02-513.fc42

4

perl-vars

1.05-512.fc42

1.05-513.fc42

4

perl-mro

1.29-512.fc42

1.29-513.fc42

4

perl-if

0.61.000-512.fc42

0.61.000-513.fc42

4

perl-Getopt-Std

1.14-512.fc42

1.14-513.fc42

4

perl-IPC-Open3

1.22-512.fc42

1.22-513.fc42

B

openldap

2.6.8-6.fc42

2.6.9-1.fc42

B

perl-AutoLoader

5.74-512.fc42

5.74-513.fc42

B

perl-FileHandle

2.05-512.fc42

2.05-513.fc42

B

libtool-ltdl

2.5.4-1.fc42

2.5.4-2.fc42

B

show 34 more collapse