Subject: [PATCH 0/2] Update idris to 1.0 and fix default arguments

From: Peter Mikkelsen <[email-masked]>
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