From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([208.118.235.92]:42976) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gbqrB-0007rn-RU for guix-patches@gnu.org; Tue, 25 Dec 2018 12:51:06 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gbqr8-0004CL-Kl for guix-patches@gnu.org; Tue, 25 Dec 2018 12:51:05 -0500 Received: from debbugs.gnu.org ([208.118.235.43]:39202) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1gbqr8-0004C3-Gj for guix-patches@gnu.org; Tue, 25 Dec 2018 12:51:02 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1gbqr8-0006Wu-Ea for guix-patches@gnu.org; Tue, 25 Dec 2018 12:51:02 -0500 Subject: bug#33865: [PATCH] gnu: Add dedukti. Resent-To: guix-patches@gnu.org Resent-Message-ID: Date: Tue, 25 Dec 2018 18:50:05 +0100 From: Julien Lepiller Message-ID: <20181225185005.2177deb3@lepiller.eu> In-Reply-To: <87y38dwrlt.fsf@gmail.com> References: <871s65ykf7.fsf@gmail.com> <20181225123219.3c10f4ad@lepiller.eu> <87y38dwrlt.fsf@gmail.com> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha256; boundary="Sig_/VBo=MB79FBb0DnNammDLyBG"; 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: 33865-done@debbugs.gnu.org --Sig_/VBo=MB79FBb0DnNammDLyBG Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: quoted-printable Pushed as 5895696e4c28938d9201e4527d3a007dd8b47e32. I've slightly modified your patch to add a copyright line for yourself and use the ocaml-build-system. --Sig_/VBo=MB79FBb0DnNammDLyBG Content-Type: application/pgp-signature Content-Description: Signature digitale OpenPGP -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEEtfrmKFtBNyiyoPrtQxEfRSAIagwFAlwibc0ACgkQQxEfRSAI agzdeg/8DtWpAXlWAYmX8LW1ydK2Cap7REgDa5nrr3TH3mcYtvdNYBjoAKWQAT2c j8GbKqCDxUHt3ZRAC67Zs9LnuWQhe/jMyntcl1yoqDm9Bv/a0oIwiF04KtmZJ/mZ 02otgC2QGqGl9nd8LTqxeYEhEVg0zUshMzhsT0YmY7HGHUuYZ2MLLh5gW351HmpA 55Mtz6RFjpxgalxCqEHj9lKRCj5NJ+fyBeQespYvFKfVv4XfJ3eIqD3IJLQKsTWg GImvLmauXlnVUvgeiZHg6fn+sy38KTfghGDwt1hZutAfNem/jqllm2fapa2ZA69a 1goULtiU9bDAX/AFihLLLaVFZ/N+Yx9Iumf6YWpPJNSy2tbV8fY+DNdigyVzXae2 vOBPwx3mW5FDWFOEcuI07yMZDALnM3J6zDRZl4k1VhHP73Bw8FbvU/XZQUzh3KjO PrwsR25TyT7n+aIQHJ0Tlo2bnou7hvE/XepdZkGt1RPGd2/QS2Pn0icL0Vp0cX4W Pk2jKsqMoRy9BCowNpVVHUw+JKm3lXfV86GFXrE3Np13mPQLHf24a1Q3WK2l20Ah LK3d265faF/c+R26yQv+hbV94pvZpg1OVa3waPQlWQXVbtq8vE0d0bLTSM3TzA+w ObSSHj7CWCWSedph/SlhZi9Q0qn3K1n+tvjNgee6UuuC+GhtkZc= =tccb -----END PGP SIGNATURE----- --Sig_/VBo=MB79FBb0DnNammDLyBG--