Age | Commit message (Expand) | Author |
---|---|---|
2022-12-13 | gnu: mercury: Update to 22.01.4.... | jgart |
2022-12-13 | gnu: mercury-minimal: Update to 22.01.4.... | jgart |
2022-04-27 | gnu: mercury: Selectively import match-lambda from ice9 module.... | jgart |
2022-03-29 | gnu: mercury: Remove trailing #T from phases and snippet.... | jgart |