sci-mathematics/coq|https://github.com/coq/coq/archive/V8.17.1.tar.gz: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/V8.20.0.tar.gz|sci-mathematics@gentoo.org