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

../
Attic/                                             26-Feb-2022 08:07                   -
patches/                                           20-Dec-2025 21:47                   -
DESCR,v                                            20-Dec-2025 21:47                2527
Makefile,v                                         20-Dec-2025 21:47               13609
PLIST,v                                            20-Dec-2025 21:47              117810
distinfo,v                                         20-Dec-2025 21:47               15667
options.mk,v                                       20-Dec-2025 21:47                2251