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

Icon  Name                             Last modified      Size  Description
[PARENTDIR] Parent Directory                                      -   
[   ] Manifest                         2021-12-15 00:09  2.1K  
[TXT] coq-8.11.2-r1.ebuild             2021-07-26 21:39  1.8K  
[TXT] coq-8.12.0-r2.ebuild             2021-12-07 17:40  1.8K  
[TXT] coq-8.13.0-r1.ebuild             2021-07-26 21:39  1.8K  
[TXT] metadata.xml                     2021-09-11 23:40  939