repology.org
domain is back up, repology.amdmi3.ru will be discontinued on October 9th
Toggle navigation
Projects
Maintainers
Repositories
Tools
Security
News
Docs
Versions
Packages
Information
History
Badges
Report
Information for
ocaml:psmt2-frontend
Versions
0.4.0
Package names
ocaml-psmt2-frontend
Repositories
Fedora Rawhide
Categories
Unspecified
Licenses
Apache-2.0
Summaries
Parser and typechecker for an extension of SMT-LIB 2
Homepage links
https://acoquereau.github.io/psmt2-frontend/
All package recipes
https://src.fedoraproject.org/rpms/ocaml-psmt2-frontend/blob/rawhide/f/ocaml-psmt2-frontend.spec
Build logs
https://kojipkgs.fedoraproject.org/packages/ocaml-psmt2-frontend/0.4.0/33.fc46/data/logs/