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