Index of pub/pkgsrc/current/pkgsrc/lang/polyml/

NameLast modifiedSize
Parent Directory18-Sep-2020 01:019kB
CVS/14-Aug-2020 01:001kB
DESCR20-Mar-2009 21:121kB
MESSAGE20-Mar-2009 21:121kB
Makefile14-Aug-2020 01:001kB
PLIST03-May-2019 01:001kB
README.html19-Aug-2020 17:327kB
buildlink3.mk12-Jun-2019 19:321kB
distinfo14-Aug-2020 01:001kB
options.mk16-Jun-2012 01:011kB
patches/14-Aug-2020 01:001kB