Index of /cvsroot/pkgsrc/lang/idris/

../
Attic/                                             26-Feb-2022 08:07                   -
patches/                                           25-Mar-2026 21:30                   -
DESCR,v                                            25-Mar-2026 21:30                2575
Makefile,v                                         25-Mar-2026 21:30               13658
PLIST,v                                            25-Mar-2026 21:30              117858
distinfo,v                                         25-Mar-2026 21:30               15717
options.mk,v                                       25-Mar-2026 21:30                2299