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

Icon  Name                                          Last modified      Size  Description
[DIR] Parent Directory - [   ] Manifest 11-Sep-2021 21:40 3.0K [TXT] coq-8.11.2-r1.ebuild 26-Jul-2021 19:39 1.8K [TXT] coq-8.11.2.ebuild 10-Feb-2021 01:39 1.8K [TXT] coq-8.12.0-r1.ebuild 07-Apr-2021 03:09 1.8K [TXT] coq-8.12.0-r2.ebuild 26-Jul-2021 19:39 1.8K [TXT] coq-8.13.0-r1.ebuild 26-Jul-2021 19:39 1.8K [TXT] coq-8.13.0.ebuild 07-Apr-2021 03:09 1.8K [   ] metadata.xml 11-Sep-2021 21:40 939
Microsoft-IIS/6.0 Server at iso.tw.netbsd.org Port 80