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
alt-ergo
Versions
2.4.3
Package names
alt-ergo
Repositories
Fedora Rawhide
Categories
Unspecified
Licenses
CECILL-C
Summaries
Automated theorem prover including linear arithmetic
Homepage links
https://alt-ergo.ocamlpro.com/
All package recipes
https://src.fedoraproject.org/rpms/alt-ergo/blob/rawhide/f/alt-ergo.spec
Build logs
https://kojipkgs.fedoraproject.org/packages/alt-ergo/2.4.3/5.fc46/data/logs/