Koschei
Collections
Packages
Groups
Stats
Log in
Search
Build details
Build information
State
complete
Name
gappalib-coq
Epoch
None
Version
1.5.4
Release
1.fc40
Started
2024-01-11 12:46:58
Finished
2024-01-11 12:53:02
Koji repo
5732037
Koji tasks
complete
111611045
aarch64
├111611132
closed
x86_64
└111611131
closed
Build logs
aarch64
build.log
|
root.log
x86_64
build.log
|
root.log
Dependency changes from previous build
zlib-ng-compat
2.1.5-
1
.fc40
2.1.5-
2
.fc40
2
emacs-filesystem
1:29.1-
14
.fc40
1:29.1-
15
.fc40
2
redhat-rpm-config
274
-1.fc40
275
-1.fc40
2
flexiblas-netlib
3.
3
.1-5.fc39
3.
4
.1-1.fc40
4
systemd-libs
255.
1
-1.fc40
255.
2
-2.fc40
4
kernel-headers
6.7.0-
0
.rc8.61.fc40
6.7.0-
68
.fc40
4
fedora-release
40-0.
26
40-0.
28
B
flexiblas
3.
3
.1-5.fc39
3.
4
.1-1.fc40
B
fedora-release-identity-basic
40-0.
26
40-0.
28
B
flexiblas-openblas-openmp
3.
3
.1-5.fc39
3.
4
.1-1.fc40
B
fedora-release-common
40-0.
26
40-0.
28
B
perl-Net-SSLeay
1.
92
-10.fc39
1.
94
-1.fc40
B
show 2 more
collapse