Index of /cvsroot/pkgsrc/lang/idris2/

../
patches/                                           03-May-2024 06:47                   -
DESCR,v                                            22-Jun-2026 00:37                2892
Makefile,v                                         22-Jun-2026 00:37                5195
PLIST,v                                            22-Jun-2026 00:37               99801
distinfo,v                                         22-Jun-2026 00:37                5572