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