diff options
| author | Brett Gilio <brettg@gnu.org> | 2020-11-25 16:40:29 -0600 |
|---|---|---|
| committer | Brett Gilio <brettg@gnu.org> | 2020-11-25 16:40:29 -0600 |
| commit | 8b928a3931cafddb291152bc259b634ab3ab441b (patch) | |
| tree | 5d0fd35cef4ebf8436e713b24780cb2c2728aba3 /gnu/packages/mercury.scm | |
| parent | 4b4fa892cb0fbb98af4606c7a1d55aa09d3eb715 (diff) | |
| download | guix-8b928a3931cafddb291152bc259b634ab3ab441b.tar.gz | |
gnu: mercury: Update to 20.06.1.
* gnu/packages/mercury.scm (mercury): Update to 20.06.1.
Diffstat (limited to 'gnu/packages/mercury.scm')
| -rw-r--r-- | gnu/packages/mercury.scm | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gnu/packages/mercury.scm b/gnu/packages/mercury.scm index 5e0e90db3b..5a2c85a79b 100644 --- a/gnu/packages/mercury.scm +++ b/gnu/packages/mercury.scm @@ -173,7 +173,7 @@ separate compilation, and numerous optimization/time trade-offs.") (define-public mercury (package (inherit mercury-minimal) (name "mercury") - (version "20.06") + (version "20.06.1") (source (origin (method git-fetch) @@ -185,7 +185,7 @@ separate compilation, and numerous optimization/time trade-offs.") (file-name (git-file-name name version)) (sha256 (base32 - "1pc51r7vlqmi689rkwdkk1ka2dyk36q11dqvl339cizng6mp72h6")))) + "1b6rmdinw8mj6n9sc7c75kkf42gd2k254rf51x4snlrqckxj7aaz")))) (arguments (substitute-keyword-arguments (package-arguments mercury-minimal) |