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