Now
MAIN commitmail json YAML
pkgsrc/lang/polyml/Makefile@1.16
/
diff
pkgsrc/lang/polyml/distinfo@1.13 / diff
pkgsrc/lang/polyml/patches/patch-modules_IntInfAsInt_Makefile.in@1.1 / diff
pkgsrc/lang/polyml/distinfo@1.13 / diff
pkgsrc/lang/polyml/patches/patch-modules_IntInfAsInt_Makefile.in@1.1 / diff
Update to Poly/ML 5.7.
Changes are not known.
Changes are not known.