Package: pvs-sbcl
General Information
- Dist Git Repo:
- djdelorie/make-4.4/pvs-sbcl
- Source Type:
- Build from DistGit
- Committish:
- 0d521c5d7bdd9c1618898bcafa881ed25b038d30
- Clone_Url:
- https://src.fedoraproject.org/rpms/pvs-sbcl.git
Build ID | Package Version | Submitted | Build Time | Status |
---|---|---|---|---|
5017577 | 7.1-8 | 2 years ago | 8 minutes | succeeded |
Status Badge
- HTML Code:
- Markdown Code: