Index of /pub/pkgsrc/stable/pkgsrc/lang/idris2

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]DESCR2023-11-07 02:17 1.0K 
[ ]Makefile2023-11-07 02:17 2.2K 
[ ]PLIST2023-11-07 02:17 29K 
[ ]distinfo2023-11-07 12:40 1.5K 
[DIR]patches/2024-04-01 22:59 -  
Apache/2.4.57 (Unix) OpenSSL/1.0.2zg Server at rsync3.jp.netbsd.org Port 80