Koschei
Collections
Packages
Groups
Stats
Log in
Search
Build details
Build information
State
complete
Name
gappalib-coq
Epoch
None
Version
1.5.4
Release
3.fc40
Started
2024-09-18 22:31:22
Finished
2024-09-18 22:36:13
Koji repo
6446091
Koji tasks
complete
123620553
aarch64
├123620650
closed
x86_64
└123620651
closed
Build logs
aarch64
build.log
|
root.log
x86_64
build.log
|
root.log
Dependency changes from previous build
gcc-c++
14.2.1-
1
.fc40
14.2.1-
3
.fc40
1
libstdc++-devel
14.2.1-
1
.fc40
14.2.1-
3
.fc40
2
zlib-ng-compat
2.1.7-
1
.fc40
2.1.7-
2
.fc40
2
gcc
14.2.1-
1
.fc40
14.2.1-
3
.fc40
2
libstdc++
14.2.1-
1
.fc40
14.2.1-
3
.fc40
2
libgcc
14.2.1-
1
.fc40
14.2.1-
3
.fc40
2
glibc
2.39-
17
.fc40
2.39-
22
.fc40
2
pkgconf-pkg-config
2.1.1-
1
.fc40
2.1.1-
2
.fc40
3
glibc-gconv-extra
2.39-
17
.fc40
2.39-
22
.fc40
3
glibc-minimal-langpack
2.39-
17
.fc40
2.39-
22
.fc40
3
python3
3.12.
4
-1.fc40
3.12.
6
-1.fc40
3
libgomp
14.2.1-
1
.fc40
14.2.1-
3
.fc40
3
glibc-common
2.39-
17
.fc40
2.39-
22
.fc40
3
glibc-devel
2.39-
17
.fc40
2.39-
22
.fc40
3
cpp
14.2.1-
1
.fc40
14.2.1-
3
.fc40
3
gcc-plugin-annobin
14.2.1-
1
.fc40
14.2.1-
3
.fc40
3
forge-srpm-macros
0.3.
1
-1.fc40
0.3.
2
-1.fc40
3
python3-libs
3.12.
4
-1.fc40
3.12.
6
-1.fc40
4
openssl-libs
1:3.2.
1
-2.fc40
1:3.2.
2
-3.fc40
4
audit-libs
4.0.
1
-1.fc40
4.0.
2
-1.fc40
4
kernel-headers
6.
9
.4-200.fc40
6.
10
.3-200.fc40
4
pkgconf
2.1.1-
1
.fc40
2.1.1-
2
.fc40
4
pkgconf-m4
2.1.1-
1
.fc40
2.1.1-
2
.fc40
4
systemd-libs
255.
10
-1.fc40
255.
12
-1.fc40
4
glibc-headers-x86
2.39-
17
.fc40
2.39-
22
.fc40
4
gdb-minimal
14
.2-3.fc40
15
.1-1.fc40
B
libquadmath
14.2.1-
1
.fc40
14.2.1-
3
.fc40
B
libgfortran
14.2.1-
1
.fc40
14.2.1-
3
.fc40
B
libpkgconf
2.1.1-
1
.fc40
2.1.1-
2
.fc40
B
expat
2.6.
2
-1.fc40
2.6.
3
-1.fc40
B
show 20 more
collapse
