From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:4830:134:3::10]:59490) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1dbk25-0001I0-Eq for guix-patches@gnu.org; Sun, 30 Jul 2017 04:57:06 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1dbk22-0002oG-Da for guix-patches@gnu.org; Sun, 30 Jul 2017 04:57:05 -0400 Received: from debbugs.gnu.org ([208.118.235.43]:59132) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1dbk22-0002o5-9q for guix-patches@gnu.org; Sun, 30 Jul 2017 04:57:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1dbk22-0002xP-2N for guix-patches@gnu.org; Sun, 30 Jul 2017 04:57:02 -0400 Subject: bug#27444: coq libraries Resent-To: guix-patches@gnu.org Resent-Message-ID: Date: Sun, 30 Jul 2017 10:55:46 +0200 From: Julien Lepiller Message-ID: <20170730105546.7c069491@lepiller.eu> In-Reply-To: <87h8xwl4ut.fsf@gnu.org> References: <20170621214539.756fd583@lepiller.eu> <87mv8zrew2.fsf@gnu.org> <20170727204427.5a2eaf3b@lepiller.eu> <87h8xwl4ut.fsf@gnu.org> MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit 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: 27444-done@debbugs.gnu.org Pushed as d163d97d92f3abea98f4b36d55ac3bb9db23d423 - 303690c405446d1eea231044f0bcb48b88b6508d