Index of /pub/NetBSD-CVS/pkgsrc/lang/idris2

• Parent Directory
• DESCR,v
• Makefile,v
• PLIST,v
• distinfo,v
• patches/