Index of /pub/pkgsrc/stable/pkgsrc/lang/idris
Name
Last modified
Size
Description
Parent Directory
-
DESCR
2020-01-21 08:32
365
Makefile
2023-11-02 15:37
3.7K
PLIST
2023-10-31 00:39
55K
distinfo
2023-10-31 00:39
2.2K
options.mk
2020-01-21 08:32
579
patches/
2024-04-01 22:59
-
Apache/2.4.57 (Unix) OpenSSL/1.0.2zg Server at rsync3.jp.netbsd.org Port 80