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