Index of /gentoo-portage/sci-mathematics/coq/


../
Manifest                                                                                                                 05-Sep-2022 22:40    3340
coq-8.11.2-r1.ebuild                                                                                                     31-May-2022 17:10    1845
coq-8.12.0-r2.ebuild                                                                                                     07-Dec-2021 06:40    1847
coq-8.13.0-r1.ebuild                                                                                                     26-Jul-2021 11:39    1821
coq-8.15.2.ebuild                                                                                                        31-May-2022 16:40    2396
coq-8.16.0.ebuild                                                                                                        05-Sep-2022 22:40    2412
metadata.xml                                                                                                             27-Feb-2022 04:09    1047