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