lecris/cmake-drop_vars

Project ID: 171745

Package: z3

General Information

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
8834953 4.14.1-1 5 days ago 27 minutes succeeded

Status Badge

HTML Code:
Markdown Code: