From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from eggs.gnu.org ([2001:4830:134:3::10]:58454)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1fguJd-0005w5-Tz
	for guix-patches@gnu.org; Sat, 21 Jul 2018 12:01:06 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1fguJa-0008Dk-S9
	for guix-patches@gnu.org; Sat, 21 Jul 2018 12:01:06 -0400
Received: from debbugs.gnu.org ([208.118.235.43]:46210)
	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 1fguJa-0008DK-Ov
	for guix-patches@gnu.org; Sat, 21 Jul 2018 12:01:02 -0400
Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2)
	(envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1fguJa-0000Y8-C8
	for guix-patches@gnu.org; Sat, 21 Jul 2018 12:01:02 -0400
Subject: [bug#32235] [PATCH] Fix Agda compilation, add Agda's emacs mode.
Resent-Message-ID: <handler.32235.B.15321888082039@debbugs.gnu.org>
Received: from eggs.gnu.org ([2001:4830:134:3::10]:58149)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <alex.ter.weele@gmail.com>) id 1fguIW-0004zK-Pq
	for guix-patches@gnu.org; Sat, 21 Jul 2018 11:59:57 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <alex.ter.weele@gmail.com>) id 1fguIT-0007VJ-OH
	for guix-patches@gnu.org; Sat, 21 Jul 2018 11:59:56 -0400
Received: from mail-it0-x22c.google.com ([2607:f8b0:4001:c0b::22c]:37111)
	by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16)
	(Exim 4.71) (envelope-from <alex.ter.weele@gmail.com>)
	id 1fguIT-0007V9-Iz
	for guix-patches@gnu.org; Sat, 21 Jul 2018 11:59:53 -0400
Received: by mail-it0-x22c.google.com with SMTP id p17-v6so18367329itc.2
	for <guix-patches@gnu.org>; Sat, 21 Jul 2018 08:59:53 -0700 (PDT)
Received: from librem
	(24-148-50-16.s5644.c3-0.mart-ubr1.chi-mart.il.cable.rcncustomer.com.
	[24.148.50.16]) by smtp.gmail.com with ESMTPSA id
	k8-v6sm2639381itk.14.2018.07.21.08.59.51 for <guix-patches@gnu.org>
	(version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256);
	Sat, 21 Jul 2018 08:59:51 -0700 (PDT)
From: Alex ter Weele <alex.ter.weele@gmail.com>
Date: Sat, 21 Jul 2018 10:59:50 -0500
Message-ID: <876018pojt.fsf@librem.i-did-not-set--mail-host-address--so-tickle-me>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
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: 32235@debbugs.gnu.org