Package: why3
General Information
- Dist Git Repo:
- dvraaij/rocq/why3
- Source Type:
- Build from an SCM repository
- SCM type:
- git
- Clone URL:
- https://src.fedoraproject.org/forks/dvraaij/rpms/why3.git
- Committish:
- update-rocq-9.1.0
- Build SRPM with:
- rpkg
| Build ID | Package Version | Submitted | Build Time | Status |
|---|---|---|---|---|
| 9625173 | 1.8.2-2 | a day ago | 5 minutes | succeeded |
Status Badge
- HTML Code:
- Markdown Code: