Package: coq
General Information
- Dist Git Repo:
- jjames/OCaml5.2/coq
- Source Type:
- Build from DistGit
- Clone_Url:
- https://src.fedoraproject.org/forks/jjames/rpms/coq.git
Build ID | Package Version | Submitted | Build Time | Status |
---|---|---|---|---|
7425888 | 8.18.0-5 | 25 days ago | 19 minutes | succeeded |
Status Badge
- HTML Code:
- Markdown Code: