Koschei
Collections
Packages
Groups
Stats
Log in
Search
Build details
Build information
State
complete
Name
gappalib-coq
Epoch
None
Version
1.7.0
Release
1.fc43
Started
2025-02-26 22:53:18
Finished
2025-02-26 23:00:35
Koji repo
6554622
Koji tasks
complete
129638612
aarch64
├129638664
closed
ppc64le
├129638665
closed
s390x
├129638666
closed
x86_64
└129638663
closed
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
gcc-c++
15.0.1-0.
7
.fc43
15.0.1-0.
8
.fc43
1
gappa
1.
5
.0-2.fc42
1.
6
.0-1.fc43
1
libgcc
15.0.1-0.
7
.fc43
15.0.1-0.
8
.fc43
2
gcc
15.0.1-0.
7
.fc43
15.0.1-0.
8
.fc43
2
libstdc++
15.0.1-0.
7
.fc43
15.0.1-0.
8
.fc43
2
libstdc++-devel
15.0.1-0.
7
.fc43
15.0.1-0.
8
.fc43
2
zlib-ng-compat
2.2.4-
1
.fc43
2.2.4-
2
.fc43
2
util-linux
2.40.4-
6
.fc43
2.40.4-
7
.fc43
3
gcc-plugin-annobin
15.0.1-0.
7
.fc43
15.0.1-0.
8
.fc43
3
cpp
15.0.1-0.
7
.fc43
15.0.1-0.
8
.fc43
3
libgomp
15.0.1-0.
7
.fc43
15.0.1-0.
8
.fc43
3
coreutils
9.6-
1
.fc42
9.6-
2
.fc43
3
libsmartcols
2.40.4-
6
.fc43
2.40.4-
7
.fc43
4
libfdisk
2.40.4-
6
.fc43
2.40.4-
7
.fc43
4
libblkid
2.40.4-
6
.fc43
2.40.4-
7
.fc43
4
libmount
2.40.4-
6
.fc43
2.40.4-
7
.fc43
4
libarchive
3.7.7-2.
fc42
3.7.7-2.
fc43
4
openssl-libs
1:3.2.4-
1
.fc43
1:3.2.4-
2
.fc43
4
libuuid
2.40.4-
6
.fc43
2.40.4-
7
.fc43
4
util-linux-core
2.40.4-
6
.fc43
2.40.4-
7
.fc43
4
coreutils-common
9.6-
1
.fc42
9.6-
2
.fc43
4
kernel-headers
6.14.0-0.
rc3
.29.fc43
6.14.0-0.
rc4
.36.fc43
4
libgfortran
15.0.1-0.
7
.fc43
15.0.1-0.
8
.fc43
B
libquadmath
15.0.1-0.
7
.fc43
15.0.1-0.
8
.fc43
B
debugedit
5.1-
4
.fc42
5.1-
5
.fc43
B
show 15 more
collapse
