Index of /sites/ftp.netbsd.org/pub/pkgsrc/stable/pkgsrc/lang/idris2/

Icon  Name                                                 Last modified      Size  
[PARENTDIR] Parent Directory                                                          -   
[   ] DESCR                                                2023-11-06 17:17  1.0K  
[   ] Makefile                                             2024-05-03 07:47  2.6K  
[   ] PLIST                                                2024-05-03 07:47   67K  
[   ] distinfo                                             2024-05-03 07:47  355