Package: gappalib-coq

Default Build Source

Source Type:
Build from DistGit
Committish:
7ef6736b4794b2870b0d533468fa0e74122b5337
Clone_Url:
https://src.fedoraproject.org/rpms/gappalib-coq.git
Build ID Package Version Submitted Build Time Status
9398141 1.7.1-3 7 hours ago 58 seconds succeeded

Status Badge

HTML Code:
Markdown Code: