Microsoft-IIS/10.0 Server at iso.tw.netbsd.org Port 80Name Last modified Size Description
Parent Directory -
Manifest 27-May-2023 04:40 3.3K
coq-8.12.0-r2.ebuild 11-Apr-2023 22:40 1.8K
coq-8.13.0-r1.ebuild 11-Apr-2023 22:40 1.8K
coq-8.15.2.ebuild 11-Apr-2023 22:40 2.3K
coq-8.16.1.ebuild 11-Apr-2023 22:40 2.4K
coq-8.17.0.ebuild 27-May-2023 04:40 2.3K
metadata.xml 27-Feb-2022 12:09 1.0K