From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from eggs.gnu.org ([2001:4830:134:3::10]:55147)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1e5wUN-0007PS-Du
	for guix-patches@gnu.org; Sat, 21 Oct 2017 12:19:08 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1e5wUI-0001DV-GU
	for guix-patches@gnu.org; Sat, 21 Oct 2017 12:19:07 -0400
Received: from debbugs.gnu.org ([208.118.235.43]:45790)
	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 1e5wUI-0001DL-Cn
	for guix-patches@gnu.org; Sat, 21 Oct 2017 12:19:02 -0400
Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2)
	(envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1e5wUI-0002u7-6j
	for guix-patches@gnu.org; Sat, 21 Oct 2017 12:19:02 -0400
Subject: [bug#28925] [PATCH] Update coq and coq libraries.
Resent-Message-ID: <handler.28925.B.150860272311132@debbugs.gnu.org>
Received: from eggs.gnu.org ([2001:4830:134:3::10]:55056)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <julien@lepiller.eu>) id 1e5wTr-0007NZ-6c
	for guix-patches@gnu.org; Sat, 21 Oct 2017 12:18:35 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <julien@lepiller.eu>) id 1e5wTm-00010P-A6
	for guix-patches@gnu.org; Sat, 21 Oct 2017 12:18:35 -0400
Received: from lepiller.eu ([2a00:5884:8208::1]:60040)
	by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32)
	(Exim 4.71) (envelope-from <julien@lepiller.eu>) id 1e5wTl-0000zj-Ve
	for guix-patches@gnu.org; Sat, 21 Oct 2017 12:18:30 -0400
Received: from localhost (static-176-182-42-79.ncc.abo.bbox.fr [176.182.42.79])
	by lepiller.eu (OpenSMTPD) with ESMTPSA id 78626fe9
	(TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256:NO)
	for <guix-patches@gnu.org>; Sat, 21 Oct 2017 16:19:43 +0000 (UTC)
Date: Sat, 21 Oct 2017 18:16:38 +0200
From: Julien Lepiller <julien@lepiller.eu>
Message-ID: <20171021181638.27d0d0d8@lepiller.eu>
MIME-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
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: 28925@debbugs.gnu.org

Hi,

this patch series updates coq and its libraries.