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