jvanek/java17

Project ID: 52074

Package: cvc4

General Information

Dist Git Repo:
jvanek/java17/cvc4

Default Build Source

Source Type:
Build from an SCM repository
SCM type:
git
Clone URL:
https://src.fedoraproject.org/rpms/cvc4.git
Committish:
rawhide
Build SRPM with:
rpkg
Build ID Package Version Submitted Build Time Status
3201204 1.8-8.fc34 2 years ago a minute failed
3246189 1.8-8.fc34 2 years ago 2 minutes failed
3254092 1.8-8.fc34 2 years ago 35 minutes succeeded
3256411 1.8-8.fc34 2 years ago 34 minutes succeeded
3329482 1.8-9.fc35 2 years ago an hour succeeded

Status Badge

HTML Code:
Markdown Code: