summaryrefslogtreecommitdiff
path: root/gnu/packages/sml.scm
Commit message (Collapse)AuthorAge
* gnu: polyml: Update to 5.7.1.Tobias Geerinckx-Rice2017-12-13
| | | | * gnu/packages/sml.scm (polyml): Update to 5.7.1.
* gnu: Add Poly/ML.Andy Patterson2017-07-17
* gnu/packages/sml.scm: New file. * gnu/local.mk (GNU_SYSTEM_MODULES): Add it. Signed-off-by: Ludovic Courtès <ludo@gnu.org>