Index of /pub/pkgsrc/pkgsrc-2023Q4/pkgsrc/lang/coq
Name
Last modified
Size
Description
Parent Directory
-
DESCR
2003-03-23 05:21
306
Makefile
2023-11-14 23:02
2.8K
PLIST
2022-06-21 11:21
305K
distinfo
2022-06-21 11:21
654
options.mk
2023-11-08 07:38
3.3K
patches/
2023-12-29 03:43
-
Apache/2.4.57 (Unix) OpenSSL/1.0.2zi Server at ftp7.jp.netbsd.org Port 80