Koschei
Collections
Packages
Groups
Stats
Log in
Search
Build details
Build information
State
complete
Name
Agda-stdlib
Epoch
None
Version
1.7.3
Release
5.fc40
Started
2024-05-05 18:26:12
Finished
2024-05-05 18:46:08
Koji repo
6068143
Koji tasks
complete
117293198
aarch64
└117293313
closed
Build logs
aarch64
build.log
|
root.log
Dependency changes from previous build
glibc
2.39.9000-
14
.fc41
2.39.9000-
17
.fc41
2
annobin-plugin-gcc
12.
51
-1.fc41
12.
52
-1.fc41
3
glibc-common
2.39.9000-
14
.fc41
2.39.9000-
17
.fc41
3
gcc-plugin-annobin
14.0.1-0.
15
.fc41
14.0.1-0.
16
.fc41
3
pcre2
10.43-
1
.fc41
10.43-
2
.fc41
3
libgomp
14.0.1-0.
15
.fc41
14.0.1-0.
16
.fc41
3
libgcc
14.0.1-0.
15
.fc41
14.0.1-0.
16
.fc41
3
libstdc++
14.0.1-0.
15
.fc41
14.0.1-0.
16
.fc41
3
glibc-minimal-langpack
2.39.9000-
14
.fc41
2.39.9000-
17
.fc41
3
glibc-gconv-extra
2.39.9000-
14
.fc41
2.39.9000-
17
.fc41
3
gcc
14.0.1-0.
15
.fc41
14.0.1-0.
16
.fc41
3
grep
3.11-
7
.fc40
3.11-
8
.fc41
3
cpp
14.0.1-0.
15
.fc41
14.0.1-0.
16
.fc41
4
glibc-devel
2.39.9000-
14
.fc41
2.39.9000-
17
.fc41
4
pcre2-syntax
10.43-
1
.fc41
10.43-
2
.fc41
4
libarchive
3.7.
2
-3.fc41
3.7.
4
-1.fc41
4
annobin-docs
12.
51
-1.fc41
12.
52
-1.fc41
4
sqlite-libs
3.45.
2
-1.fc41
3.45.
3
-1.fc41
B
kernel-headers
6.9.0-0.
rc5
.44.fc41
6.9.0-0.
rc6
.51.fc41
B
debugedit
5.0-
14
.fc40
5.0-
15
.fc41
B
glibc-headers-x86
2.39.9000-
14
.fc41
2.39.9000-
17
.fc41
B
gdb-minimal
14.2-
5
.fc41
14.2-
6
.fc41
B
show 12 more
collapse
