gnu: mercury: Update to 22.01.4.

* gnu/packages/mercury.scm (mercury-minimal): Update to 22.01.4.
[arguments]: Remove obsolete and non-existent file from being patched.

Signed-off-by: Christopher Baines <mail@cbaines.net>
This commit is contained in:
jgart 2022-12-09 18:00:46 -06:00 committed by Christopher Baines
parent 1810d67ad4
commit 87638cdd48
No known key found for this signature in database
GPG key ID: 5E28A33B0B84F577

View file

@ -171,7 +171,7 @@ (define-public mercury-minimal
(define-public mercury
(package (inherit mercury-minimal)
(name "mercury")
(version "20.06.1")
(version "22.01.4")
(source
(origin
(method git-fetch)
@ -183,7 +183,7 @@ (define-public mercury
(file-name (git-file-name name version))
(sha256
(base32
"1b6rmdinw8mj6n9sc7c75kkf42gd2k254rf51x4snlrqckxj7aaz"))))
"0ycy1j9a4rdj6d37x02dj6kyr00mykvc5kykci11fim906d92gzh"))))
(arguments
(substitute-keyword-arguments
(package-arguments mercury-minimal)
@ -205,7 +205,6 @@ (define-public mercury
"scripts/Mmake.vars.in"
"scripts/mdb.in"
"scripts/rs6000_hack"
"scripts/fullarch"
"scripts/mmc.in"
"scripts/mprof.in"
"scripts/gud.el"