nickc/mpb.2

Project ID: 61285

Package: cvc4

General Information

Dist Git Repo:
nickc/mpb.2/cvc4

Default Build Source

Source Type:
Build from DistGit
Committish:
rawhide
Clone_Url:
https://src.fedoraproject.org/rpms/cvc4.git
Build ID Package Version Submitted Build Time Status
4401562 1.8-10 2 years ago 34 minutes succeeded

Status Badge

HTML Code:
Markdown Code: