Index of /cvsroot/pkgsrc/lang/idris/

../
Attic/                                             26-Feb-2022 08:07                   -
patches/                                           22-Jun-2026 00:37                   -
DESCR,v                                            22-Jun-2026 00:37                2623
Makefile,v                                         22-Jun-2026 00:37               13707
PLIST,v                                            22-Jun-2026 00:37              117906
distinfo,v                                         22-Jun-2026 00:37               15767
options.mk,v                                       22-Jun-2026 00:37                2347