warthog9/epel9-missing-pieces

Project ID: 64353

Build 6182816 background

General Information

Status:
failed - Build failed. See logs for more details.
Submitted:
2023-07-18 17:38 UTC (1 year, 5 months ago)
Started:
2023-07-18 17:39 UTC (1 year, 5 months ago)
Finished:
2023-07-18 18:48 UTC (1 year, 5 months ago)
Build time:
an hour
Build timeout:
5 hours
Networking enabled:
False
Commit:
747efea
Directory:
epel9-missing-pieces
Built by:
https://src.fedoraproject.org/user/jjames

Source

Package:
coq
Version:
8.17.1-3
Source Type:
Build from an SCM repository
SCM type:
git
Clone URL:
https://src.fedoraproject.org/rpms/coq
Committish:
747efea6ab5e8f550659913e928742305fd165d9
Build SRPM with:
rpkg