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

Icon  Name                             Last modified      Size  Description
[DIR] Parent Directory                                      -   
[   ] Manifest                         13-Oct-2020 15:09  2.4K  
[TXT] coq-8.12.0.ebuild                13-Oct-2020 15:09  1.8K  
[TXT] coq-8.6.1-r1.ebuild              04-Nov-2019 16:09  2.0K  
[TXT] coq-8.9.1-r1.ebuild              24-Nov-2019 02:09  1.8K  
[TXT] coq-8.9.1-r2.ebuild              07-Jan-2020 22:09  1.8K  
[   ] metadata.xml                     13-Dec-2019 16:39  1.0K
Apache Server at mirror.sbb.rs Port 80