Index of /sci-mathematics/coq/


../
Manifest                                           14-Dec-2021 13:09                2125
coq-8.11.2-r1.ebuild                               26-Jul-2021 11:39                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
metadata.xml                                       11-Sep-2021 13:40                 939