lecris/cmake-ninja
Project ID: 172010
Package: z3
General Information
- Dist Git Repo:
- lecris/cmake-ninja/z3
- Source Type:
- Build from DistGit
- Committish:
- d134122827d35cc2b3d9e1b4ab13a0bff13b0470
- Clone_Url:
- https://src.fedoraproject.org/rpms/z3.git
Build ID | Package Version | Submitted | Build Time | Status |
---|---|---|---|---|
8842323 | 4.14.1-1 | 4 days ago | 47 minutes | succeeded |
Status Badge
- HTML Code:
- Markdown Code: