Build details

Build information

State
complete
Name
Agda
Epoch
None
Version
2.6.4.1
Release
46.fc40
Started
2024-04-21 03:02:04
Finished
2024-04-21 04:14:32
Koji repo
6036204

Koji tasks

complete
aarch64
├116672556 closed
ppc64le
├116672555 closed
x86_64
└116672554 closed

Build logs

aarch64
ppc64le
x86_64

Dependency changes from previous build

emacs
1:29.2-3.fc40
1:29.3-5.fc40
1
libgcc
14.0.1-0.13.fc40
14.0.1-0.15.fc40
2
libxml2
2.12.5-1.fc40
2.12.6-1.fc40
2
gnutls
3.8.3-2.fc40
3.8.5-1.fc40
2
emacs-common
1:29.2-3.fc40
1:29.3-5.fc40
2
libgccjit
14.0.1-0.13.fc40
14.0.1-0.15.fc40
2
pango
1.51.2-1.fc40
1.52.2-1.fc40
2
libXmu
1.1.4-6.fc40
1.2.0-1.fc40
2
glibc
2.39-6.fc40
2.39-8.fc40
2
libatomic
14.0.1-0.13.fc40
14.0.1-0.15.fc40
3
emacs-filesystem
1:29.2-3.fc40
1:29.3-5.fc40
3
glibc-common
2.39-6.fc40
2.39-8.fc40
3
cups-libs
1:2.4.7-11.fc40
1:2.4.7-13.fc40
3
gcc
14.0.1-0.13.fc40
14.0.1-0.15.fc40
3
libsecret
0.21.3-1.fc40
0.21.4-2.fc40
3
libnghttp2
1.59.0-2.fc40
1.59.0-3.fc40
3
libzstd
1.5.5-5.fc40
1.5.6-1.fc40
3
glibc-gconv-extra
2.39-6.fc40
2.39-8.fc40
3
glibc-minimal-langpack
2.39-6.fc40
2.39-8.fc40
3
libmount
2.40-0.9.rc1.fc40
2.40-13.fc40
3
mesa-libgbm
24.0.4-1.fc40
24.0.5-1.fc40
3
libuuid
2.40-0.9.rc1.fc40
2.40-13.fc40
3
libstdc++
14.0.1-0.13.fc40
14.0.1-0.15.fc40
3
enchant2
2.6.7-1.fc40
2.6.9-1.fc40
3
libcap
2.69-3.fc40
2.69-8.fc40
3
gcc-plugin-annobin
14.0.1-0.13.fc40
14.0.1-0.15.fc40
4
annobin-plugin-gcc
12.42-1.fc40
12.46-1.fc40
4
libgomp
14.0.1-0.13.fc40
14.0.1-0.15.fc40
4
libblkid
2.40-0.9.rc1.fc40
2.40-13.fc40
4
vulkan-loader
1.3.275.0-1.fc40
1.3.280.0-1.fc40
4
glibc-devel
2.39-6.fc40
2.39-8.fc40
4
cpp
14.0.1-0.13.fc40
14.0.1-0.15.fc40
4
mesa-libEGL
24.0.4-1.fc40
24.0.5-1.fc40
4
expat
2.6.0-1.fc40
2.6.2-1.fc40
4
libsmartcols
2.40-0.9.rc1.fc40
2.40-13.fc40
B
util-linux
2.40-0.9.rc1.fc40
2.40-13.fc40
B
kernel-headers
6.8.1-0.fc40
6.8.3-300.fc40
B
fedora-repos
40-0.4
40-1
B
mesa-libGL
24.0.4-1.fc40
24.0.5-1.fc40
B
curl
8.6.0-7.fc40
8.6.0-8.fc40
B
fedora-release
40-0.37
40-39
B
dbus-broker
35-4.fc40
36-2.fc40
B
shadow-utils
2:4.15.1-1.fc40
2:4.15.1-2.fc40
B
mesa-filesystem
24.0.4-1.fc40
24.0.5-1.fc40
B
fedora-release-common
40-0.37
40-39
B
mesa-libglapi
24.0.4-1.fc40
24.0.5-1.fc40
B
hwdata
0.380-1.fc40
0.381-1.fc40
B
fedora-release-identity-basic
40-0.37
40-39
B
fedora-gpg-keys
40-0.4
40-1
B
libcurl
8.6.0-7.fc40
8.6.0-8.fc40
B
zstd
1.5.5-5.fc40
1.5.6-1.fc40
B
tzdata
2024a-4.fc40
2024a-5.fc40
B
util-linux-core
2.40-0.9.rc1.fc40
2.40-13.fc40
B
libfdisk
2.40-0.9.rc1.fc40
2.40-13.fc40
B
glibc-headers-x86
2.39-6.fc40
2.39-8.fc40
B
annobin-docs
12.42-1.fc40
12.46-1.fc40
B