Build details

Build information

State
complete
Name
Agda
Epoch
None
Version
2.6.4.1
Release
46.fc40
Started
2024-07-07 23:50:13
Finished
2024-07-08 00:54:33
Koji repo
6236366

Koji tasks

complete
aarch64
├120162080 closed
ppc64le
├120162081 closed
x86_64
└120162082 closed

Build logs

aarch64
ppc64le
x86_64

Dependency changes from previous build

zlib-ng-compat
2.1.6-5.fc40
2.1.7-1.fc40
2
glibc
2.39-15.fc40
2.39-17.fc40
2
zlib-ng-compat-devel
2.1.6-5.fc40
2.1.7-1.fc40
2
libgcc
14.1.1-6.fc40
14.1.1-7.fc40
2
libgccjit
14.1.1-6.fc40
14.1.1-7.fc40
2
cmake-filesystem
3.28.2-1.fc40
3
libstdc++
14.1.1-6.fc40
14.1.1-7.fc40
3
glibc-common
2.39-15.fc40
2.39-17.fc40
3
pcre2
10.42-2.fc40.2
10.44-1.fc40
3
glibc-minimal-langpack
2.39-15.fc40
2.39-17.fc40
3
pkgconf-pkg-config
2.1.0-1.fc40
2.1.1-1.fc40
3
glibc-gconv-extra
2.39-15.fc40
2.39-17.fc40
3
gcc
14.1.1-6.fc40
14.1.1-7.fc40
3
libatomic
14.1.1-6.fc40
14.1.1-7.fc40
3
p11-kit-trust
0.25.3-4.fc40
0.25.5-1.fc40
3
p11-kit
0.25.3-4.fc40
0.25.5-1.fc40
3
libxslt
1.1.41-2.fc40
1.1.42-1.fc40
3
cpp
14.1.1-6.fc40
14.1.1-7.fc40
4
python3
3.12.3-2.fc40
3.12.4-1.fc40
4
pcre2-syntax
10.42-2.fc40.2
10.44-1.fc40
4
libgomp
14.1.1-6.fc40
14.1.1-7.fc40
4
gcc-plugin-annobin
14.1.1-6.fc40
14.1.1-7.fc40
4
findutils
1:4.9.0-8.fc40
1:4.9.0-9.fc40
4
pyproject-srpm-macros
1.12.0-1.fc40
1.12.2-1.fc40
4
python-srpm-macros
3.12-7.fc40
3.12-8.fc40
4
pkgconf
2.1.0-1.fc40
2.1.1-1.fc40
4
glibc-devel
2.39-15.fc40
2.39-17.fc40
4
pkgconf-m4
2.1.0-1.fc40
2.1.1-1.fc40
4
qt6-srpm-macros
6.7.1-1.fc40
6.7.2-1.fc40
4
libpkgconf
2.1.0-1.fc40
2.1.1-1.fc40
B
glibc-headers-x86
2.39-15.fc40
2.39-17.fc40
B
python3-libs
3.12.3-2.fc40
3.12.4-1.fc40
B