summary refs log tree commit diff
path: root/gnu/packages/sml.scm
AgeCommit message (Expand)Author
2020-07-12gnu: Remove ".git" from "https://github/…/….git".Ludovic Courtès
2019-12-19Update email for Brett Gilio.Brett Gilio
2019-11-22gnu: polyml: Use HTTPS home page URI.Brett Gilio
2019-11-22gnu: polyml: Update to 5.8.Brett Gilio
2018-11-29gnu: polyml: Fetch sources from git.Ricardo Wurmus
2018-03-17gnu: Fix common unquote typos.Tobias Geerinckx-Rice
2017-12-13gnu: polyml: Update to 5.7.1.Tobias Geerinckx-Rice
2017-07-17gnu: Add Poly/ML.Andy Patterson
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-26 13:39:00 +0000