--- Begin Message ---
Subject: |
[PATCH 0/2] Update idris to 1.0 and fix default arguments |
Date: |
Sat, 15 Apr 2017 04:27:43 +0200 |
The following two patches updates idris to 1.0, and fixes the default
arguments used for building idris packages.
Peter Mikkelsen (2):
gnu: idris: Update to 1.0.
gnu: idris: Fix idris-default-arguments.
gnu/packages/idris.scm | 10 ++++++----
1 file changed, 6 insertions(+), 4 deletions(-)
--
2.12.2
--- End Message ---
--- Begin Message ---
Subject: |
Re: bug#26505: [PATCH 0/2] Update idris to 1.0 and fix default arguments |
Date: |
Sat, 15 Apr 2017 19:46:30 +0200 |
User-agent: |
Notmuch/0.24.1 (https://notmuchmail.org) Emacs/25.1.1 (x86_64-unknown-linux-gnu) |
Peter Mikkelsen <address@hidden> writes:
> The following two patches updates idris to 1.0, and fixes the default
> arguments used for building idris packages.
Pushed, thanks!
signature.asc
Description: PGP signature
--- End Message ---