Index of /gentoo-portage/sci-mathematics/coq/
../
Manifest 09-Sep-2024 08:40 2724
coq-8.11.2-r1.ebuild 31-May-2022 17:10 1845
coq-8.12.0-r2.ebuild 09-Jun-2023 15:40 1854
coq-8.13.0-r1.ebuild 11-Apr-2023 14:40 1827
coq-8.15.2.ebuild 11-Apr-2023 14:40 2402
coq-8.16.0.ebuild 14-Feb-2023 05:40 2412
coq-8.16.1.ebuild 11-Apr-2023 14:40 2418
coq-8.17.0.ebuild 17-Jul-2023 12:40 2317
coq-8.17.1.ebuild 16-Aug-2023 02:40 2317
coq-8.18.0.ebuild 16-Jan-2024 06:12 2317
coq-8.19.0.ebuild 23-May-2024 22:41 2491
coq-8.19.1.ebuild 23-May-2024 22:41 2492
coq-8.19.2.ebuild 10-Jun-2024 14:11 2484
coq-8.20.0.ebuild 09-Sep-2024 08:40 2896
metadata.xml 27-Feb-2022 04:09 1047