sci-mathematics/coq|https://github.com/coq/coq/archive/V8.19.2.tar.gz:https://github.com/coq/coq/archive/V9.0.0.tar.gz:https://github.com/coq/coq/archive/V9.1.0.tar.gz|sci-mathematics@gentoo.org