lecris/cmake-4.0

Project ID: 169909

Package: z3

General Information

Dist Git Repo:
lecris/cmake-4.0/z3

Default Build Source

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: