8|200|2024-03-05|sci-mathematics/coq|coq-8.19.0.ebuild|http://coq.inria.fr/|https://coq.inria.fr/|sci-mathematics@gentoo.org
8|200|2024-03-05|sci-mathematics/coq|coq-8.19.1.ebuild|http://coq.inria.fr/|https://coq.inria.fr/|sci-mathematics@gentoo.org