Age | Commit message (Expand) | Author |
---|---|---|
2020-11-25 | gnu: mercury: Update to 20.06.1.... | Brett Gilio |
2020-11-25 | gnu: mercury-minimal: Update to 20.06.1.... | Brett Gilio |
2020-09-30 | gnu: Fix package references.... | Efraim Flashner |
2020-07-23 | gnu: Add mercury.... | Brett Gilio |