tribes/guix
1
0
Fork 1
mirror of https://git.savannah.gnu.org/git/guix.git synced 2026-04-25 19:50:30 +02:00
Code Activity
27,166 Commits 75 Branches 40 Tags
fa5e6618593feab0c764652cd632f4e1bf6558a2
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