1
0
mirror of https://git.savannah.gnu.org/git/guix.git synced 2026-04-12 08:00:39 +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
2021-07-16 00:06:05 -04:00
2021-11-11 12:18:25 -05:00
2021-07-29 21:54:55 +02:00
2021-07-29 21:54:54 +02:00
2022-02-07 14:02:26 +01:00
2021-05-11 18:07:09 -04:00
2021-06-28 22:19:50 +03:00
2022-01-11 11:16:51 +01:00
2021-08-04 15:44:09 +02:00
2021-12-16 08:58:07 +01:00
2021-10-08 09:13:53 +02:00
2021-09-24 13:48:49 +02:00
2021-09-28 12:39:30 +00:00
2021-05-05 16:56:46 +02:00
2021-06-21 10:16:04 +02:00
2021-07-06 01:27:29 -04:00