9 Commits (0b5960df47a288a688dfac8e48eb9281d09449dc)

Author SHA1 Message Date
  Brett Gilio 0b5960df47
gnu: polyml: Update to 5.8.1. 11 months ago
  Ludovic Courtès b0e7b6992f
gnu: Remove ".git" from "https://github/…/….git". 11 months 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. 3 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