Subject: bug#26505: closed (Re: bug#26505: [PATCH 0/2] Update idris to 1.0 and fix default arguments)

From: [email-masked] (GNU bug Tracking System)
Date: Sat, 15 Apr 2017 17:47:01 +0000

Your bug report

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

which was filed against the guix-patches package, has been closed.

The explanation is attached below, along with your original report.
If you require more details, please reply to [email-masked].

-- 
26505: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=26505
GNU Bug Tracking System
Contact [email-masked] with problems

Subject: Re: bug#26505: [PATCH 0/2] Update idris to 1.0 and fix default arguments
From: Marius Bakke <[email-masked]>
To: Peter Mikkelsen <[email-masked]>, [email-masked]
Date: Sat, 15 Apr 2017 19:46:30 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Peter Mikkelsen <[email-masked]> writes:

> The following two patches updates idris to 1.0, and fixes the default
> arguments used for building idris packages.

Pushed, thanks!

Subject: [PATCH 0/2] Update idris to 1.0 and fix default arguments
From: Peter Mikkelsen <[email-masked]>
To: [email-masked]
Cc: Peter Mikkelsen <[email-masked]>
Date: Sat, 15 Apr 2017 04:27:43 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

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