Index of pub/pkgsrc/pkgsrc-2021Q2/pkgsrc/lang/idris/

NameLast modifiedSize
Parent Directory28-Sep-2021 01:0310kB
CVS/23-Jun-2021 21:161kB
DESCR20-Jan-2020 23:321kB
Makefile03-May-2021 19:013kB
PLIST25-Apr-2021 11:3965kB
buildlink3.mk03-May-2021 19:012kB
distinfo25-Apr-2021 11:392kB
options.mk20-Jan-2020 23:321kB
patches/23-Jun-2021 21:151kB