Package: gappalib-coq

Default Build Source

Source Type:
Build from DistGit
Committish:
rawhide
Clone_Url:
https://src.fedoraproject.org/rpms/gappalib-coq.git
Build ID Package Version Submitted Build Time Status
6878503 1.5.4-1 4 months ago 2 minutes failed

Status Badge

HTML Code:
Markdown Code: