From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:4830:134:3::10]:54090) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1e6BZC-00016I-Of for guix-patches@gnu.org; Sun, 22 Oct 2017 04:25:07 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1e6BZ8-0001Ip-Pm for guix-patches@gnu.org; Sun, 22 Oct 2017 04:25:06 -0400 Received: from debbugs.gnu.org ([208.118.235.43]:46226) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1e6BZ8-0001Ig-MX for guix-patches@gnu.org; Sun, 22 Oct 2017 04:25:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1e6BZ8-0004Ev-GY for guix-patches@gnu.org; Sun, 22 Oct 2017 04:25:02 -0400 Subject: bug#28925: [PATCH 2/7] gnu: Update coq to 8.7.0. Resent-To: guix-patches@gnu.org Resent-Message-ID: Date: Sun, 22 Oct 2017 10:22:44 +0200 From: Julien Lepiller Message-ID: <20171022102244.3d25ba24@lepiller.eu> In-Reply-To: <878tg45em4.fsf@fastmail.com> References: <20171021181638.27d0d0d8@lepiller.eu> <20171021162058.27938-1-julien@lepiller.eu> <20171021162058.27938-3-julien@lepiller.eu> <878tg45em4.fsf@fastmail.com> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha256; boundary="Sig_/jQ7_GcVyNqQs3=Wi_dK8JLu"; 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: 28925-done@debbugs.gnu.org --Sig_/jQ7_GcVyNqQs3=Wi_dK8JLu Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Le Sun, 22 Oct 2017 00:18:43 +0200, Marius Bakke a =C3=A9crit : > julien@lepiller.eu writes: >=20 > > From: Julien Lepiller > > > > * gnu/packages/ocaml.scm (coq): Update to 8.7.0. =20 >=20 > Please also mention the changes to inputs and build-system here. The > same goes for the other patches. This series LGTM apart from that. Thank you for the review, pushed as 07b4cd3a48022a472c90ec46f2e8b08d9cc8fc3e - 6efc99967800183daa74ba2ebff6185dfcf1b33d. --Sig_/jQ7_GcVyNqQs3=Wi_dK8JLu Content-Type: application/pgp-signature Content-Description: Signature digitale OpenPGP -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEEtfrmKFtBNyiyoPrtQxEfRSAIagwFAlnsVVUACgkQQxEfRSAI agzhBxAAtZad8B51dzVBqpA6U78mtBfnZIFCX/5MymoCvSUHyUdCjQHYtxwbmSNe Hm18jcPyRtrvezqRGZ3p8WXEqhv+ITULCiit8BP3JoiYLMz2RtYlfoaU1qbhsweM EM0WGjH1JGiuGOBA0QVHZno9D2FUCpFPdDTRcBAsc1/6KPdDd55DE4RgdXFjz+bB 1aAs/JicKE2yW+vnaTbvRnU1gm3R7DhFxXbeb9XDFxbIYtNzeWytngibqmnBmBif BjqLdPnQLoeXihJJpxwL/k/8zLGAHXroaDu0jtlJRpkH1q/DzZsY5ag6D1g2Lytk IhHTtxbPabt2wJQadL/A1G4hLnVoNI0VSBZvXm6JK7psBLyoc7bGsiQ/RqFpVQby RGHaYu5NVLWAJnBQKzgeEzWYmuKTlGDndm7aIvME9Uic3cThkciOzreCRM3dkDrz Jv+QwVhPtqD+KQhIFHZSmY7tLEmG8FEPpMhl5ltWahK0kF1J0/PTaSPz0FDgtwvw 7rScZ3mJUKEFftVUzoEyNvaVrrTtL9Pl/fS/mVG8xh4cLbaHJy+ISBCmuiQDj0VS eI7CpHgVHxeQlSRWfbv8V0Bhazjkerq4qFh7Al0CkNkWQZyeR2XCWwUWzRTkJgRA VdPsTbqBivv+M3XQia5Rfxj8ZhfaUmDIEjqhnrp5ZulkCocCA/w= =5+wn -----END PGP SIGNATURE----- --Sig_/jQ7_GcVyNqQs3=Wi_dK8JLu--