From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([208.118.235.92]:52911) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gcQuh-00031b-1A for guix-patches@gnu.org; Thu, 27 Dec 2018 03:21:07 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gcQud-0008FR-3B for guix-patches@gnu.org; Thu, 27 Dec 2018 03:21:07 -0500 Received: from debbugs.gnu.org ([208.118.235.43]:34698) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1gcQuc-0008FB-VL for guix-patches@gnu.org; Thu, 27 Dec 2018 03:21:03 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1gcQuc-0004FE-Nq for guix-patches@gnu.org; Thu, 27 Dec 2018 03:21:02 -0500 Subject: bug#33866: [PATCH] gnu: Add emacs-dedukti-mode emacs-flycheck-dedukti. Resent-To: guix-patches@gnu.org Resent-Message-ID: Date: Thu, 27 Dec 2018 09:20:43 +0100 From: Julien Lepiller Message-ID: <20181227092043.3ba0df88@lepiller.eu> In-Reply-To: <87zhstx41e.fsf@gmail.com> References: <87zhstx41e.fsf@gmail.com> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha256; boundary="Sig_/PXb4NHLlME1bZtvyEz=XiDm"; protocol="application/pgp-signature" List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+kyle=kyleam.com@gnu.org Sender: "Guix-patches" To: 33866-done@debbugs.gnu.org --Sig_/PXb4NHLlME1bZtvyEz=XiDm Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: quoted-printable Pushed as 4a2e1e72806fd62e54201a4aacde213d419d04bd and ad536c98f9125f47dd948be7dd42d5c34e84bdfd, thank you! --Sig_/PXb4NHLlME1bZtvyEz=XiDm Content-Type: application/pgp-signature Content-Description: Signature digitale OpenPGP -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEEtfrmKFtBNyiyoPrtQxEfRSAIagwFAlwki1sACgkQQxEfRSAI agwcXQ/7Beo1h+e0k3iYJOFbXRrJpkv7lw/R6fm1wkrBzQvLQL64JeGIvq9kpjEr 26s0xLkv3C82qrj2wTTKu/+sSlhtGTYHzZxYpJFZayHuzqoMuN4H7FANXqTY+/M/ 9DO/Jh3tYhDgMQg9Ov0q3ArIu6B+laCFbZ/Q58s/QNDA5FygKdl+/Ge2HqNiYB1l Qp/dpL2LTJqJITO3qseBD66XXvshS8QhexaZMRQB4s/8RjbaM904oZlXZcREqyk/ MZAw9BdtjMXxVZJs4LccFDmyMlHM/xHfpJa5kPyXbNialCwrkozJhCtO2q/a+p5S XoLlPKUgxdTwbmRMz3hh5SZB7XgphZmiXQzwesRRj7Nz9jAD5MPZHFr1KBsdBfFG /vPkdcgTJTUmvmIGrCVtFHmMmfK7ZOzL+Yb1o5qmE5oon5XU9Dq8glLGOQGtYmbt P+JJIDOBCuJPhXhHGAnPSkA7bLMEzp7r4KqQK0YofjZr3kI3T6+bhmb9Cp2vBvCm j5fntctcKjxoqfFU9PVCrTgVDmJUnO5WWMn0OwOXbHWjK3n0YgpJxNwsPT7vZoyV QK2lJcXG+Pfp6m7LbIey4nDUEjf4k2Pxwlq2LCxXmCxQ+++B8ikACo+G8BPQb9Jw AjWNxN9PwKGoWgP02rCufVuItCgg4gExrVMntkNFSvOpCnH5AEI= =CV4T -----END PGP SIGNATURE----- --Sig_/PXb4NHLlME1bZtvyEz=XiDm--