Now
MAIN commitmail json YAML
pkgsrc/lang/polyml/Makefile@1.15
/
diff
pkgsrc/lang/polyml/distinfo@1.12 / diff
pkgsrc/lang/polyml/patches/patch-polyc.in deleted
pkgsrc/lang/polyml/distinfo@1.12 / diff
pkgsrc/lang/polyml/patches/patch-polyc.in deleted
Update to Poly/ML 5.6.
Changes include major improvements of FFI.
Changes include major improvements of FFI.