Koschei - prooftree - build 110237806

Build details

Build information

State

complete

complete

Name

prooftree

Epoch

None

Version

0.13

Release

28.fc40

Started

2023-12-12 15:04:51

Finished

2023-12-12 15:13:29

Koji repo

5662170

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

ocaml

5.1.0-5.fc40

5.1.1-1.fc40

1

ocaml-ocamldoc

5.1.0-5.fc40

5.1.1-1.fc40

1

ocaml-lablgtk-devel

2.18.13-7.fc40

2.18.13-8.fc40

1

ocaml-findlib

1.9.6-6.fc40

1.9.6-7.fc40

1

ocaml-compiler-libs

5.1.0-5.fc40

5.1.1-1.fc40

2

ocaml-lablgtk

2.18.13-7.fc40

2.18.13-8.fc40

2

ocaml-runtime

5.1.0-5.fc40

5.1.1-1.fc40

2