@python/python3.9

Project ID: 28601

Package: cvc4

General Information

Default Build Source

Source Type:
Build from an SCM repository
SCM type:
git
Clone URL:
https://src.fedoraproject.org/rpms/cvc4.git
Committish:
master
Build SRPM with:
rpkg
Build ID Package Version Submitted Build Time Status
1145160 1.7-7.fc31 2 months ago 2 minutes failed
1148367 1.7-7.fc31 2 months ago an hour failed
1160287 1.7-7.fc31 2 months ago 2 minutes failed
1168701 1.7-7.fc31 2 months ago 58 minutes succeeded
1197279 1.7-7.fc31 2 months ago an hour succeeded
1206291 1.7-8.fc31 2 months ago an hour succeeded
1225729 1.7-8.fc31 a month ago an hour succeeded
1255024 1.7-8.fc31 a month ago an hour succeeded
1316544 1.7-8.fc31 7 days ago 59 minutes succeeded

Status Badge

HTML Code:
Markdown Code: