Index of pub/pkgsrc/pkgsrc-2024Q1/pkgsrc/lang/idris2/

NameLast modifiedSize
Parent Directory23-Jun-2024 01:0212kB
CVS/01-Apr-2024 14:011kB
DESCR06-Nov-2023 17:172kB
Makefile06-Nov-2023 17:173kB
PLIST06-Nov-2023 17:1729kB
distinfo07-Nov-2023 03:402kB
patches/01-Apr-2024 13:591kB