amaharaneko/guix-mirrors
1
1
Fork 0
mirror of https://codeberg.org/guix/guix.git synced 2025-10-02 02:15:12 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions
26486 commits 77 branches 38 tags 712 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