Package: rocq
General Information
- Dist Git Repo:
- dvraaij/rocq/rocq
- Source Type:
- Build from an SCM repository
- SCM type:
- git
- Clone URL:
- https://src.fedoraproject.org/forks/dvraaij/rpms/coq.git
- Committish:
- update-rocq-9.1.0
- Build SRPM with:
- rpkg
| Build ID | Package Version | Submitted | Build Time | Status |
|---|---|---|---|---|
| 9629923 | 9.1.0-1 | 14 hours ago | 15 minutes | succeeded |
Status Badge
- HTML Code:
- Markdown Code: