Koschei
Collections
Packages
Groups
Stats
Log in
Search
Build details
Build information
State
complete
Name
emacs-common-proofgeneral
Epoch
None
Version
4.5
Release
10.20240912git1ffca70.fc42
Started
2025-03-11 13:58:36
Finished
2025-03-11 14:04:49
Koji repo
6559017
Koji tasks
complete
130126830
x86_64
└130126969
closed
Build logs
x86_64
build.log
|
root.log
Dependency changes from previous build
emacs-nw
1:29
.4-49.fc42
1:30
.1-5.fc42
1
systemd-libs
257.3-
6
.fc42
257.3-
7
.fc42
2
emacs-common
1:29
.4-49.fc42
1:30
.1-5.fc42
2
libtree-sitter
0.
24
.7-2.fc42
0.
25
.2-8.fc42
2
libuuid
2.40.4-
5
.fc42
2.40.4-
7
.fc42
2
gnutls
3.8.
8
-3.fc42
3.8.
9
-2.fc42
2
libgcc
15.0.1-0.
7
.fc42
15.0.1-0.
9
.fc42
2
libgccjit
15.0.1-0.
7
.fc42
15.0.1-0.
9
.fc42
2
nettle
3.10
-
6.fc42
3.10
.
1-1.fc42
3
gcc
15.0.1-0.
7
.fc42
15.0.1-0.
9
.fc42
3
libtasn1
4.
19
.0-11.fc42
4.
20
.0-1.fc42
3
systemd-standalone-sysusers
257.3-
6
.fc42
257.3-
7
.fc42
3
libmount
2.40.4-
5
.fc42
2.40.4-
7
.fc42
3
emacsclient
1:29
.4-49.fc42
1:30
.1-5.fc42
3
libstdc++
15.0.1-0.
7
.fc42
15.0.1-0.
9
.fc42
4
libgomp
15.0.1-0.
7
.fc42
15.0.1-0.
9
.fc42
4
libblkid
2.40.4-
5
.fc42
2.40.4-
7
.fc42
4
cpp
15.0.1-0.
7
.fc42
15.0.1-0.
9
.fc42
4
fedora-release
42-0.
18
42-0.
21
B
fedora-release-common
42-0.
18
42-0.
21
B
util-linux
2.40.4-
5
.fc42
2.40.4-
7
.fc42
B
kernel-headers
6.14.0-0.
rc1
.15.fc42
6.14.0-0.
rc3
.29.fc42
B
gcc-plugin-annobin
15.0.1-0.
7
.fc42
15.0.1-0.
9
.fc42
B
libsmartcols
2.40.4-
5
.fc42
2.40.4-
7
.fc42
B
libfdisk
2.40.4-
5
.fc42
2.40.4-
7
.fc42
B
fedora-release-identity-basic
42-0.
18
42-0.
21
B
util-linux-core
2.40.4-
5
.fc42
2.40.4-
7
.fc42
B
qt6-srpm-macros
6.8.2-
1
.fc42
6.8.2-
2
.fc42
B
show 18 more
collapse