9 Commits (ad063289276c1a201ab88a1ff0d287b07e49b5c2)

Author SHA1 Message Date
Brett Gilio 0b5960df47
gnu: polyml: Update to 5.8.1. 1 year ago
Ludovic Courtès b0e7b6992f
gnu: Remove ".git" from "https://github/…/….git". 1 year ago
Brett Gilio 4b3ff36228
Update email for Brett Gilio. 2 years ago
Brett Gilio 116787d4ad
gnu: polyml: Use HTTPS home page URI. 2 years ago
Brett Gilio 8717fb8d5f
gnu: polyml: Update to 5.8. 2 years ago
Ricardo Wurmus ec4e9455d3
gnu: polyml: Fetch sources from git. 3 years ago
Tobias Geerinckx-Rice c695fb769c
gnu: Fix common unquote typos. 4 years ago
Tobias Geerinckx-Rice c2c5b115ab
gnu: polyml: Update to 5.7.1. 4 years ago
Andy Patterson 9b7ee28d57
gnu: Add Poly/ML. 4 years ago