Index of pub/pkgsrc/stable/pkgsrc/lang/idris/

NameLast modifiedSize
Parent Directory20-Jun-2021 01:0310kB
CVS/30-Mar-2021 11:251kB
DESCR20-Jan-2020 23:321kB
Makefile13-Oct-2020 16:353kB
PLIST13-Oct-2020 16:3552kB
buildlink3.mk20-Jan-2020 23:322kB
distinfo13-Oct-2020 16:352kB
options.mk20-Jan-2020 23:321kB
patches/30-Mar-2021 11:231kB