lecris/cmake-4.0

Project ID: 169909

Package: cvc5

General Information

Default Build Source

Source Type:
Build from DistGit
Committish:
cf8bb8f940f47b31e08b4447d8216eaf004b4acf
Clone_Url:
https://src.fedoraproject.org/rpms/cvc5.git

Status Badge

HTML Code:
Markdown Code: