Age | Commit message (Expand) | Author |
---|---|---|
2022-05-29 | gnu: smlnj: Fix use of Ctrl-c in sml REPL....* gnu/packages/sml.scm (smlnj): Replace INVOKE with SYSTEM which has more favourable signal dispositions. Signed-off-by: Tobias Geerinckx-Rice <me@tobias.gr> | Foo Chuan Wei |
2022-06-01 | gnu: smlnj: Use HTTPS home page....* gnu/packages/sml.scm (smlnj)[home-page]: Use HTTPS. Signed-off-by: Ludovic Courtès <ludo@gnu.org> | Foo Chuan Wei |
2022-04-19 | gnu: polyml: Update to 5.9....* gnu/packages/sml.scm (polyml): Update to 5.9. [arguments]<#:configure-flags>: Remove nonexistent options. Signed-off-by: Ludovic Courtès <ludo@gnu.org> | Foo Chuan Wei |