Index of /cvsroot/pkgsrc/lang/idris2/

../
patches/                                           03-May-2024 06:47                   -
DESCR,v                                            30-Jun-2025 09:02                2700
Makefile,v                                         30-Jun-2025 09:02                5003
PLIST,v                                            30-Jun-2025 09:02               99609
distinfo,v                                         30-Jun-2025 09:02                5380