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
Related
Badges
Report
Information for
rocq-stdlib
Versions
9.2.0
Package names
rocq-stdlib
Repositories
Fedora Rawhide
Categories
Unspecified
Licenses
LGPL-2.1-only
Summaries
The Rocq proof assistant standard library
Homepage links
https://rocq-prover.org/
All package recipes
https://src.fedoraproject.org/rpms/rocq-stdlib/blob/rawhide/f/rocq-stdlib.spec
Build logs
https://kojipkgs.fedoraproject.org/packages/rocq-stdlib/9.2.0/1.fc46/data/logs/