warthog9/epel9-missing-pieces

Project ID: 64353

Package: coq

General Information

Dist Git Repo:
warthog9/epel9-missing-pieces/coq
Webhook rebuild:
Yes

Default Build Source

Source Type:
Build from an SCM repository
SCM type:
git
Clone URL:
https://src.fedoraproject.org/rpms/coq
Committish:
rawhide
Build SRPM with:
rpkg
Build ID Package Version Submitted Build Time Status
6106126 8.17.0-1 1 year, 6 months ago 4 minutes failed
6160169 8.17.1-1 1 year, 5 months ago 5 minutes failed
6160950 8.17.1-1 1 year, 5 months ago 5 minutes failed
6162749 8.17.1-2 1 year, 5 months ago 6 minutes failed
6166605 8.17.1-3 1 year, 5 months ago 5 minutes failed
6166780 8.17.1-3 1 year, 5 months ago 5 minutes failed
6182816 8.17.1-3 1 year, 5 months ago an hour failed
6186660 8.17.1-4 1 year, 5 months ago 4 minutes failed
6217773 8.17.1-5 1 year, 4 months ago 5 minutes failed
6491330 8.17.1-5 1 year, 2 months ago 5 minutes failed
6493238 8.17.1-6 1 year, 2 months ago 4 minutes failed
6745025 8.17.1-7 1 year, 13 days ago 3 hours failed
6767127 8.17.1-8 1 year, 7 days ago 5 minutes failed
6849674 8.18.0-1 11 months ago 5 hours failed
6922099 8.18.0-2 11 months ago 53 minutes failed
6944608 8.18.0-3 11 months ago 6 minutes failed
6982722 8.18.0-4 10 months ago 3 minutes failed
7482459 8.18.0-4 7 months ago 19 minutes failed
7505537 8.18.0-5 6 months ago 3 minutes failed
7628353 8.18.0-6 6 months ago 2 minutes failed
7628358 8.18.0-7 6 months ago 2 minutes failed
7725992 8.18.0-8 5 months ago 5 minutes failed
7738483 8.18.0-9 5 months ago 8 minutes failed
7743573 8.18.0-10 5 months ago 4 minutes failed

Status Badge

HTML Code:
Markdown Code: