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

../
patches/                                           03-May-2024 06:47                   -
DESCR,v                                            20-Dec-2025 21:47                2796
Makefile,v                                         20-Dec-2025 21:47                5099
PLIST,v                                            20-Dec-2025 21:47               99705
distinfo,v                                         20-Dec-2025 21:47                5476