psimovec/cython-numpy-scipy-rebuild.checker
Project ID: 148472
Package: cvc5
General Information
- Dist Git Repo:
- psimovec/cython-numpy-scipy-rebuild.checker/cvc5
- Source Type:
- Build from DistGit
- Committish:
- 44121ae8e3080bd6b63070658a2d31e322bb6a6d
- Clone_Url:
- https://src.fedoraproject.org/rpms/cvc5.git
Build ID | Package Version | Submitted | Build Time | Status |
---|---|---|---|---|
8114965 | 1.2.0-1 | 2 months ago | 2 hours | succeeded |
Status Badge
- HTML Code:
- Markdown Code: