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-04-19 04:33:04
Finished
2024-04-19 04:37:18
Koji repo
6030935
Koji tasks
complete
116587167
aarch64
├116587210
closed
x86_64
└116587211
closed
Build logs
aarch64
build.log
|
root.log
x86_64
build.log
|
root.log
Dependency changes from previous build
gcc-c++
14.0.1-0.
14
.fc41
14.0.1-0.
15
.fc41
1
gcc
14.0.1-0.
14
.fc41
14.0.1-0.
15
.fc41
2
glibc
2.39.9000-
10
.fc41
2.39.9000-
12
.fc41
2
libgcc
14.0.1-0.
14
.fc41
14.0.1-0.
15
.fc41
2
emacs-filesystem
1:29
.3-5.fc41
1:30
.0-2.fc41
2
libstdc++-devel
14.0.1-0.
14
.fc41
14.0.1-0.
15
.fc41
2
libstdc++
14.0.1-0.
14
.fc41
14.0.1-0.
15
.fc41
2
glibc-common
2.39.9000-
10
.fc41
2.39.9000-
12
.fc41
3
perl-Socket
4:2.
037
-5.fc40
4:2.
038
-1.fc41
3
annobin-plugin-gcc
12.
48
-1.fc41
12.
49
-1.fc41
3
gcc-plugin-annobin
14.0.1-0.
14
.fc41
14.0.1-0.
15
.fc41
3
cpp
14.0.1-0.
14
.fc41
14.0.1-0.
15
.fc41
3
libgomp
14.0.1-0.
14
.fc41
14.0.1-0.
15
.fc41
3
glibc-gconv-extra
2.39.9000-
10
.fc41
2.39.9000-
12
.fc41
3
ansible-srpm-macros
1-
14
.fc40
1-
15
.fc41
3
python3
3.12.3-
1
.fc41
3.12.3-
2
.fc41
3
glibc-devel
2.39.9000-
10
.fc41
2.39.9000-
12
.fc41
3
go-srpm-macros
3.
5
.0-1.fc41
3.
6
.0-1.fc41
3
glibc-minimal-langpack
2.39.9000-
10
.fc41
2.39.9000-
12
.fc41
3
kernel-headers
6.9.0-0.
rc3
.30.fc41
6.9.0-0.
rc4
.37.fc41
4
python3-libs
3.12.3-
1
.fc41
3.12.3-
2
.fc41
4
glibc-headers-x86
2.39.9000-
10
.fc41
2.39.9000-
12
.fc41
4
annobin-docs
12.
48
-1.fc41
12.
49
-1.fc41
4
fedora-release-identity-basic
41-0.
6
41-0.
9
B
libgfortran
14.0.1-0.
14
.fc41
14.0.1-0.
15
.fc41
B
libquadmath
14.0.1-0.
14
.fc41
14.0.1-0.
15
.fc41
B
fedora-release-common
41-0.
6
41-0.
9
B
fedora-release
41-0.
6
41-0.
9
B
show 18 more
collapse