From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from eggs.gnu.org ([2001:4830:134:3::10]:44153)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1czRmr-00086i-Bg
	for guix-patches@gnu.org; Sat, 15 Apr 2017 13:47:06 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1czRmo-0001FQ-38
	for guix-patches@gnu.org; Sat, 15 Apr 2017 13:47:05 -0400
Received: from debbugs.gnu.org ([208.118.235.43]:51107)
	by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16)
	(Exim 4.71) (envelope-from <Debian-debbugs@debbugs.gnu.org>)
	id 1czRmn-0001Ew-VS
	for guix-patches@gnu.org; Sat, 15 Apr 2017 13:47:02 -0400
Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2)
	(envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1czRmn-0001TU-Oa
	for guix-patches@gnu.org; Sat, 15 Apr 2017 13:47:01 -0400
Subject: bug#26505: [PATCH 0/2] Update idris to 1.0 and fix default arguments
Resent-To: guix-patches@gnu.org
Resent-Message-ID: <handler.26505.D26505.14922783944435.done@debbugs.gnu.org>
From: Marius Bakke <mbakke@fastmail.com>
In-Reply-To: <20170415022743.9512-1-petermikkelsen10@gmail.com>
References: <20170415022743.9512-1-petermikkelsen10@gmail.com>
Date: Sat, 15 Apr 2017 19:46:30 +0200
Message-ID: <87d1cdmumh.fsf@fastmail.com>
MIME-Version: 1.0
Content-Type: multipart/signed; boundary="=-=-=";
	micalg=pgp-sha512; protocol="application/pgp-signature"
List-Id: <guix-patches.gnu.org>
List-Unsubscribe: <https://lists.gnu.org/mailman/options/guix-patches>,
	<mailto:guix-patches-request@gnu.org?subject=unsubscribe>
List-Archive: <http://lists.gnu.org/archive/html/guix-patches/>
List-Post: <mailto:guix-patches@gnu.org>
List-Help: <mailto:guix-patches-request@gnu.org?subject=help>
List-Subscribe: <https://lists.gnu.org/mailman/listinfo/guix-patches>,
	<mailto:guix-patches-request@gnu.org?subject=subscribe>
Errors-To: guix-patches-bounces+kyle=kyleam.com@gnu.org
Sender: "Guix-patches" <guix-patches-bounces+kyle=kyleam.com@gnu.org>
To: Peter Mikkelsen <petermikkelsen10@gmail.com>, 26505-done@debbugs.gnu.org

--=-=-=
Content-Type: text/plain

Peter Mikkelsen <petermikkelsen10@gmail.com> writes:

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

Pushed, thanks!

--=-=-=
Content-Type: application/pgp-signature; name="signature.asc"

-----BEGIN PGP SIGNATURE-----

iQEzBAEBCgAdFiEEu7At3yzq9qgNHeZDoqBt8qM6VPoFAljyXHYACgkQoqBt8qM6
VPq5bwf/YltcALqEKpmt/lRwmQxcUy14FpzrpnYIcFQw25Qfki9I4b7SsSy1v7I4
GED1hckD/q95aG8XMVv9UYcOgOPaN7sC6s+THqtnBgT2SIL45luo6yuI3qgDsRpO
U+pk/ZY0Vy2NV46ClUMvVJJTyVzZe9KRsvDFffa0JXOowDAK4Q8rFfogr19DcAv5
qM3cxJQoHC03aT1wFng2XpfDTe3v+UCT7PCwzw7xhhiAYco6Y7OBYWWjInrIVcEn
Eid25JHkeJEvWR2NjzELVGh5RZ1X+fxqPlqWWgfcsctZGP4J/vi29j/EKO/2lZWK
aNbJ4rzna3PB8XRrTXbi6/Zw6mitOg==
=GFH5
-----END PGP SIGNATURE-----
--=-=-=--