Index of /cvsroot/pkgsrc/lang/idris2/

../
patches/                                           03-May-2024 06:47                   -
DESCR,v                                            25-Mar-2026 21:30                2844
Makefile,v                                         25-Mar-2026 21:30                5147
PLIST,v                                            25-Mar-2026 21:30               99753
distinfo,v                                         25-Mar-2026 21:30                5524