Packages
Get Gentoo!
gentoo.org sites
gentoo.org
Wiki
Bugs
Forums
Packages
Planet
Archives
Sources
Infra Status
Home
Packages
Maintainers
USE flags
Architectures
About
sci-mathematics
/
coq-stdlib
Stdlib for the Coq/Rocq Prover, used to be part of Coq
https://github.com/coq/stdlib
Overview
Dependencies
QA report
Pull requests
0
Bugs
0
Security
0
Changelog
Latest Commits
Atom feed
Commits on 2025-03-16
sci-mathematics/coq-stdlib: Keyword 9.0.0 arm64, #951475
aced2ff
Sam James
committed on 2025-03-16 22:40:22 UTC
sci-mathematics/coq-stdlib/coq-stdlib-9.0.0.ebuild
sci-mathematics/coq-stdlib: new package; add 9.0.0
4889e5b
Maciej Barć
committed on 2025-03-16 21:11:50 UTC
sci-mathematics/coq-stdlib/Manifest
sci-mathematics/coq-stdlib/coq-stdlib-9.0.0.ebuild
sci-mathematics/coq-stdlib/metadata.xml
Packages
