@python/python3.9

Project ID: 28601

Package: coq

General Information

Default Build Source

Source Type:
Build from an SCM repository
SCM type:
git
Clone URL:
https://src.fedoraproject.org/rpms/coq.git
Committish:
master
Build SRPM with:
rpkg
Build ID Package Version Submitted Build Time Status
1145147 8.9.1-10.fc31 1 year, 4 months ago 28 minutes succeeded
1148000 8.9.1-11.fc31 1 year, 4 months ago 24 minutes succeeded
1160265 8.9.1-12.fc31 1 year, 4 months ago 2 minutes failed
1168697 8.9.1-12.fc31 1 year, 4 months ago 5 minutes failed
1170255 8.9.1-12.fc31 1 year, 4 months ago 4 minutes failed
1170908 8.9.1-12.fc31 1 year, 4 months ago 4 minutes failed
1171749 8.9.1-12.fc31 1 year, 4 months ago 4 minutes failed
1172370 8.9.1-12.fc31 1 year, 4 months ago 26 minutes succeeded
1197263 8.9.1-12.fc31 1 year, 4 months ago 29 minutes succeeded
1206247 8.9.1-13.fc31 1 year, 4 months ago 31 minutes succeeded
1225706 8.9.1-13.fc31 1 year, 4 months ago 27 minutes succeeded
1255011 8.9.1-13.fc31 1 year, 3 months ago 4 minutes failed
1296531 8.9.1-13.fc31 1 year, 3 months ago 4 minutes failed
1309728 8.9.1-13.fc31 1 year, 2 months ago 4 minutes failed
1316530 8.9.1-13.fc31 1 year, 2 months ago 4 minutes failed
1320201 8.11.0-1.fc31 1 year, 2 months ago 4 minutes failed
1322229 8.11.0-1.fc31 1 year, 2 months ago 28 minutes succeeded
1322315 8.11.0-2.fc31 1 year, 2 months ago 27 minutes succeeded
1324822 8.11.0-2.fc31 1 year, 2 months ago 28 minutes succeeded
1327484 8.11.0-3.fc31 1 year, 2 months ago 28 minutes succeeded
1327485 8.11.0-3.fc31 1 year, 2 months ago 28 minutes succeeded
1340096 8.11.0-3.fc31 1 year, 1 month ago 30 minutes succeeded
1345082 8.11.0-4.fc31 1 year, 1 month ago 27 minutes succeeded
1367758 8.11.0-5.fc31 1 year, 1 month ago 2 minutes failed
1377079 8.11.0-5.fc31 1 year, 1 month ago 25 minutes succeeded
1399207 8.11.1-1.fc31 1 year, 23 days ago 26 minutes succeeded
1465623 8.11.2-1.fc31 11 months ago 18 minutes failed
1532281 8.11.2-1.fc31 11 months ago 2 minutes failed
1533274 8.11.2-1.fc31 11 months ago 18 minutes failed
1577062 8.11.2-2.fc31 10 months ago 18 minutes failed
1589658 8.11.2-3.fc31 10 months ago 18 minutes failed
1595263 8.11.2-4.fc31 10 months ago 18 minutes failed
1623250 8.11.2-5.fc31 9 months ago 19 minutes failed
1640561 8.12.0-1.fc31 9 months ago 38 minutes failed
1644254 8.12.0-2.fc31 9 months ago 52 minutes failed
1644394 8.12.0-3.fc31 9 months ago 36 minutes failed
1644421 8.12.0-3.fc31 9 months ago 52 minutes failed
1756446 8.12.0-3.fc33 7 months ago 50 minutes succeeded

Status Badge

HTML Code:
Markdown Code: