2 Commits (a0ec2d256d0e7352f31eb2adc4c18c40e420a419)

Author	SHA1	Message	Date
Tobias Geerinckx-Rice	c2c5b115ab	gnu: polyml: Update to 5.7.1. ... * gnu/packages/sml.scm (polyml): Update to 5.7.1.	2017-12-13 14:18:51 +01:00
Andy Patterson	9b7ee28d57	gnu: Add Poly/ML. ... * gnu/packages/sml.scm: New file. * gnu/local.mk (GNU_SYSTEM_MODULES): Add it. Signed-off-by: Ludovic Courtès <ludo@gnu.org>	2017-07-17 15:13:41 +02:00