CVS commit: pkgsrc/lang/polyml

["Aleksej Saushev" <asau%netbsd.org@localhost>]

Module Name:    pkgsrc
Committed By:   asau
Date:           Tue Mar  1 19:50:10 UTC 2016

Modified Files:
        pkgsrc/lang/polyml: Makefile distinfo
Removed Files:
        pkgsrc/lang/polyml/patches: patch-polyc.in

Log Message:
Update to Poly/ML 5.6.
Changes include major improvements of FFI.


To generate a diff of this commit:
cvs rdiff -u -r1.14 -r1.15 pkgsrc/lang/polyml/Makefile
cvs rdiff -u -r1.11 -r1.12 pkgsrc/lang/polyml/distinfo
cvs rdiff -u -r1.3 -r0 pkgsrc/lang/polyml/patches/patch-polyc.in

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.