diff options
author | Andy Patterson <ajpatter@uwaterloo.ca> | 2017-07-15 18:17:25 -0400 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2017-07-17 15:13:41 +0200 |
commit | 9b7ee28d5700b47ae34bd47c32d250f042fbdbbd (patch) | |
tree | fe10715c0419049b99f0c6e39e65f4fb99df3e17 /NEWS | |
parent | 2e009ae7cdaee4ce871b3a79d50118762ee29fb6 (diff) | |
download | patches-9b7ee28d5700b47ae34bd47c32d250f042fbdbbd.tar patches-9b7ee28d5700b47ae34bd47c32d250f042fbdbbd.tar.gz |
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>
Diffstat (limited to 'NEWS')
0 files changed, 0 insertions, 0 deletions