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

Icon  Name                                          Last modified      Size  Description
[DIR] Parent Directory                                                   -   
[   ] Manifest                                      13-Oct-2020 21:09  2.4K  
[TXT] coq-8.6.1-r1.ebuild                           04-Nov-2019 23:09  2.0K  
[TXT] coq-8.9.1-r1.ebuild                           24-Nov-2019 09:09  1.8K  
[TXT] coq-8.9.1-r2.ebuild                           08-Jan-2020 05:09  1.8K  
[TXT] coq-8.12.0.ebuild                             13-Oct-2020 21:09  1.8K  
[   ] metadata.xml                                  13-Dec-2019 23:39  1.0K
Microsoft-IIS/6.0 Server at iso.tw.netbsd.org Port 80