Subject: CVS commit: pkgsrc/lang/polyml
From: Aleksej Saushev
Date: 2017-09-16 01:51:05
Message id: 20170915235105.32B2BFA98@cvs.NetBSD.org
Log Message:
Update to Poly/ML 5.7.
Changes are not known.
Files:
RevisionActionfile
1.16modifypkgsrc/lang/polyml/Makefile
1.13modifypkgsrc/lang/polyml/distinfo
1.1addpkgsrc/lang/polyml/patches/patch-modules_IntInfAsInt_Makefile.in