diff options
| author | jgart <jgart@dismail.de> | 2022-12-09 18:00:46 -0600 |
|---|---|---|
| committer | Christopher Baines <mail@cbaines.net> | 2022-12-13 13:42:12 +0000 |
| commit | 87638cdd48ccf9537e3e5bcc8156df7a38c1e54a (patch) | |
| tree | 0ee2892870532d3c4dac70d4a9e93ab26d582d87 /.gitignore | |
| parent | 1810d67ad46355d299f0b9bf6cca6056ecaffa4d (diff) | |
| download | guix-87638cdd48ccf9537e3e5bcc8156df7a38c1e54a.tar guix-87638cdd48ccf9537e3e5bcc8156df7a38c1e54a.tar.gz | |
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>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions