@python/python3.8

temporary project: will be deleted ASAP

Project ID: 23236

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
Build SRPM with:
rpkg
Build ID Package Version Submitted Build Time Status
944309 1.7-1.fc30 4 years ago 41 minutes failed
951786 1.7-1.fc30 4 years ago 45 minutes failed
959985 1.7-2.fc30 4 years ago 2 minutes failed
990042 1.7-4.fc30 4 years ago an hour succeeded

Status Badge

HTML Code:
Markdown Code: