kpriv/pkgsrc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
pkgsrc/lang/polyml
History
asau f9885687af Update to Poly/ML 5.5.2 
Most of the changes are bug fixes.  One major fix was to the
intermediate code optimiser reported back in September.
Other changes are the addition of PrettyStringWithWidth and
PrettyLineBreak constructors to the PolyML.pretty datatype,
Thread.Thread.numPhysicalProcessors to return the number of
physical processors and printing ?.t in circumstances where t is
bound to a different type.  The debugger has been extended to
include structures and the arguments to functors.
2014-09-13 18:23:38 +00:00
..
patches Update to Poly/ML 5.5.2 2014-09-13 18:23:38 +00:00
DESCR
distinfo Update to Poly/ML 5.5.2 2014-09-13 18:23:38 +00:00
Makefile Update to Poly/ML 5.5.2 2014-09-13 18:23:38 +00:00
MESSAGE
options.mk The package doesn't require GMP, turn it off, provide option instead. 2012-06-15 09:20:28 +00:00
PLIST Update to Poly/ML 5.5.2 2014-09-13 18:23:38 +00:00