Index of pub/pkgsrc/pkgsrc-2023Q4/pkgsrc/lang/idris2/

NameLast modifiedSize
Parent Directory01-Apr-2024 01:0412kB
CVS/28-Dec-2023 18:451kB
DESCR06-Nov-2023 17:172kB
Makefile06-Nov-2023 17:173kB
PLIST06-Nov-2023 17:1729kB
distinfo07-Nov-2023 03:402kB
patches/28-Dec-2023 18:431kB