| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | 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 |