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

../
patches/                                           03-May-2024 06:47                   -
DESCR,v                                            30-Mar-2025 02:00                2652
Makefile,v                                         30-Mar-2025 02:00                4955
PLIST,v                                            30-Mar-2025 02:00               99561
distinfo,v                                         30-Mar-2025 02:00                5332