Index of pub/pkgsrc/current/pkgsrc/lang/idris/

NameLast modifiedSize
Parent Directory18-Sep-2020 01:019kB
CVS/09-Mar-2020 01:001kB
DESCR20-Jan-2020 23:321kB
Makefile09-Mar-2020 01:003kB
README.html02-Sep-2020 18:3315kB
buildlink3.mk20-Jan-2020 23:322kB
distinfo20-Jan-2020 23:322kB
options.mk20-Jan-2020 23:321kB
patches/21-Jan-2020 01:001kB