| 81199f78 | gnu: Replace (gnu packages lesstif) with (gnu packages toolkits). | Anderson Torres | 2026-06-04 18:46 |
| 0e33b818 | gnu: polyml: Update to 5.9.2. | quanrong | 2025-08-23 11:04 |
| 9b912bb6 | gnu: polyml: Fix build. | Ashish SHUKLA | 2025-07-27 08:55 |
| 4f5f2463 | gnu: librnd: Update to 4.3.2. | Cayetano Santos | 2025-07-26 21:26 |
| 494bbe00 | gnu: polyml: Update to 5.9.1. | 宋文武 | 2025-03-11 02:43 |
| a02a00b7 | gnu: smlnj: Update to 110.99.7.1. | 宋文武 | 2025-02-09 03:01 |
| 8c3e9da1 | Merge branch 'master' into core-updates | Ludovic Courtès | 2022-06-08 12:46 |
| 6ccf8ea8 | Merge branch 'master' into core-updates | Efraim Flashner | 2021-12-19 13:15 |
| f0342642 | Merge branch 'master' into core-updates | Marius Bakke | 2021-05-09 19:29 |
| d726b954 | Merge branch 'master' into core-updates | Jakub Kądziołka | 2020-07-23 19:43 |
| 4b3ff362 | Update email for Brett Gilio. | Brett Gilio | 2019-12-19 17:35 |
| 116787d4 | gnu: polyml: Use HTTPS home page URI. | Brett Gilio | 2019-11-22 21:53 |
| 8717fb8d | gnu: polyml: Update to 5.8. | Brett Gilio | 2019-11-22 21:51 |
| ec4e9455 | gnu: polyml: Fetch sources from git. | Ricardo Wurmus | 2018-11-29 21:43 |
| 64788884 | Merge branch 'master' into core-updates | Mark H Weaver | 2018-03-20 04:49 |
| 32cd878b | Merge branch 'master' into core-updates | Marius Bakke | 2017-12-19 00:42 |
| 9b7ee28d | gnu: Add Poly/ML. | Andy Patterson | 2017-07-17 13:13 |