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-10-06
sci-mathematics/coq-stdlib: depend on coq sub-slot
e5ad8c8
Maciej Barć
committed on 2025-10-06 21:21:43 UTC
sci-mathematics/coq-stdlib/coq-stdlib-9.0.0-r1.ebuild
sci-mathematics/coq-stdlib/coq-stdlib-9.0.0.ebuild
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
