[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#26505: [PATCH 0/2] Update idris to 1.0 and fix default arguments
|
From: |
Peter Mikkelsen |
|
Subject: |
bug#26505: [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
- bug#26505: [PATCH 0/2] Update idris to 1.0 and fix default arguments,
Peter Mikkelsen <=