Koschei - gappalib-coq - build 104766348

Build details

Build information

State

complete

complete

Name

gappalib-coq

Epoch

None

Version

1.5.3

Release

4.fc39

Started

2023-08-13 05:40:51

Finished

2023-08-13 05:47:44

Koji repo

5332122

Koji tasks

Build logs

aarch64

build.log | root.log

x86_64

build.log | root.log

Dependency changes from previous build

emacs-filesystem

1:28.2-10.fc39

1:29.1-1.fc39

2

python3

3.12.0~b4-3.fc39

3.12.0~rc1-1.fc40

3

grep

3.11-3.fc39

3.11-5.fc40

3

curl

8.2.1-1.fc39

8.2.1-2.fc40

4

systemd-libs

254-1.fc39

254.1-2.fc40

4

python3-libs

3.12.0~b4-3.fc39

3.12.0~rc1-1.fc40

4

audit-libs

3.1.1-4.fc39

3.1.2-1.fc39

4

libtirpc

1.3.3-1.rc1.fc39.1

1.3.3-1.rc2.fc39

B

fedora-release-identity-basic

39-0.21

40-0.2

B

fedora-gpg-keys

39-0.4

40-0.1

B

python-pip-wheel

23.1.2-7.fc39

23.2.1-1.fc39

B

fedora-release

39-0.21

40-0.2

B

fedora-release-common

39-0.21

40-0.2

B

fedora-repos

39-0.4

40-0.1

B

libcurl

8.2.1-1.fc39

8.2.1-2.fc40

B

fedora-repos-rawhide

39-0.4

40-0.1

B

gdb-minimal

13.2-6.fc39

13.2-7.fc39

B

show 7 more collapse