sci-mathematics/coq-stdlib
Stdlib for the Coq/Rocq Prover, used to be part of Coq
Reverse Dependencies
Reverse dependancies are sometimes conditional based on your USE flags, Ebuild version and sometimes other packages. please keep this in mind.