Build details

Build information

State
complete
Name
emacs-common-proofgeneral
Epoch
None
Version
4.5
Release
9.20240912git1ffca70.fc41
Started
2025-03-24 13:44:18
Finished
2025-03-24 13:51:25
Koji repo
130000008

Koji tasks

complete
130139397
x86_64
└130139399 closed

Build logs

x86_64
build.log | root.log

Dependency changes from previous build

No dependency changes
Koschei version d754c33
Authors: Michael Simacek, Mikolaj Izdebski
Copyright © 2014-2018 Red Hat Inc.
User documentation
Project page on GitHub
Reporting issues