thrnciar/mpb.7

Project ID: 66637

Package: gappalib-coq

General Information

Default Build Source

Source Type:
Build from DistGit
Clone_Url:
https://src.fedoraproject.org/rpms/gappalib-coq.git
Build ID Package Version Submitted Build Time Status
4718477 1.5.2-2 2 years ago 7 minutes succeeded

Status Badge

HTML Code:
Markdown Code: