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
drat-trim
Versions
0
Package names
drat-trim
Repositories
Fedora Rawhide
Categories
Unspecified
Licenses
MIT
Summaries
Proof checker for DIMACS proofs
Homepage links
https://github.com/marijnheule/drat-trim
All package recipes
https://src.fedoraproject.org/rpms/drat-trim/blob/rawhide/f/drat-trim.spec
Build logs
https://kojipkgs.fedoraproject.org/packages/drat-trim/0/0.31.20240427giteffa1dc.fc45/data/logs/