1
0
mirror of https://git.savannah.gnu.org/git/guix.git synced 2026-04-08 22:20:38 +02:00
Files
guix/gnu/packages/patches
Eric Bavier 0cf1178a65 gnu: idris: Update to 1.3.4.
* gnu/packages/patches/idris-build-with-haskeline-0.8.patch,
gnu/packages/patches/idris-build-with-megaparsec-9.patch,
gnu/packages/patches/idris-disable-test.patch: Delete patches.
* gnu/local.mk (dist_patch_DATA): Unregister them.
* gnu/packages/idris.scm (idris): Update to 1.3.4.
[source]: Use git-fetch.  Adjust patches.

Co-authored-by: Attila Lendvai <attila@lendvai.name>
2022-04-20 08:35:48 -05:00
..
2021-11-29 14:58:39 +01:00
2022-02-07 14:02:26 +01:00
2022-01-11 11:16:51 +01:00
2021-12-16 08:58:07 +01:00