Commit message (Expand) | Author | Age | |
---|---|---|---|
* | gnu: mercury: Update to 22.01.4. | jgart | 2022-12-13 |
* | gnu: mercury-minimal: Update to 22.01.4. | jgart | 2022-12-13 |
* | gnu: mercury: Selectively import match-lambda from ice9 module. | jgart | 2022-04-27 |
* | gnu: mercury: Remove trailing #T from phases and snippet. | jgart | 2022-03-29 |
* | gnu: Simplify package inputs. | Ludovic Courtès | 2021-12-13 |
* | gnu: mercury: Update to 20.06.1. | Brett Gilio | 2020-11-25 |
* | gnu: mercury-minimal: Update to 20.06.1. | Brett Gilio | 2020-11-25 |
* | gnu: Fix package references. | Efraim Flashner | 2020-09-30 |
* | gnu: Add mercury. | Brett Gilio | 2020-07-23 |