[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: |
Marius Bakke |
|
Subject: |
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