Index of pub/pkgsrc/stable/pkgsrc/lang/idris2/

NameLast modifiedSize
Parent Directory01-May-2024 01:0312kB
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