ryan77627/guix
1
0
Fork 0
mirror of https://git.in.rschanz.org/ryan77627/guix.git synced 2024-11-08 07:56:16 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions
29475 commits 1 branch 0 tags 448 MiB
Commit graph

2 commits

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