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

../
Attic/                                             26-Feb-2022 08:07                   -
patches/                                           20-Sep-2025 13:25                   -
DESCR,v                                            20-Sep-2025 13:24                2479
Makefile,v                                         20-Sep-2025 13:24               13560
PLIST,v                                            20-Sep-2025 13:24              117762
distinfo,v                                         20-Sep-2025 13:24               15617
options.mk,v                                       20-Sep-2025 13:24                2203