me/guix - guix - Forgejo: Beyond coding. We forge.

guix

Archived

Fork 0

Commit Graph

Author	SHA1	Message	Date
Xinglu Chen	ed044023d7	gnu: idris: Fix build. Backport some commits from upstream. * gnu/packages/patches/idris-build-with-haskeline-0.8.patch: * gnu/packages/patches/idris-build-with-megaparsec-9.patch: New patches * gnu/local.mk (dist_patch_DATA): Add them. * gnu/packages/idris.scm (idris): Use them. Signed-off-by: Lars-Dominik Braun <lars@6xq.net>	2021-10-08 09:13:53 +02:00

Author

SHA1

Message

Date

Xinglu Chen

ed044023d7

gnu: idris: Fix build.

Backport some commits from upstream.

* gnu/packages/patches/idris-build-with-haskeline-0.8.patch:
* gnu/packages/patches/idris-build-with-megaparsec-9.patch: New patches
* gnu/local.mk (dist_patch_DATA): Add them.
* gnu/packages/idris.scm (idris): Use them.

Signed-off-by: Lars-Dominik Braun <lars@6xq.net>

2021-10-08 09:13:53 +02:00

1 Commits (6445f412b993ec7b52dc4c81e99f49af38b3a967)