Package: z3
General Information
- Dist Git Repo:
- lecris/cmake-4.0/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 |
---|---|---|---|---|
8810453 | 4.14.1-1 | 7 days ago | 30 minutes | succeeded |
Status Badge
- HTML Code:
- Markdown Code: