|
From: | GNU bug Tracking System |
Subject: | [debbugs-tracker] bug#28925: closed ([PATCH] Update coq and coq libraries.) |
Date: | Sun, 22 Oct 2017 08:25:02 +0000 |
Your message dated Sun, 22 Oct 2017 10:22:44 +0200 with message-id <address@hidden> and subject line Re: [bug#28925] [PATCH 2/7] gnu: Update coq to 8.7.0. has caused the debbugs.gnu.org bug report #28925, regarding [PATCH] Update coq and coq libraries. to be marked as done. (If you believe you have received this mail in error, please contact address@hidden) -- 28925: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=28925 GNU Bug Tracking System Contact address@hidden with problems
--- Begin Message ---Subject: [PATCH] Update coq and coq libraries. Date: Sat, 21 Oct 2017 18:16:38 +0200 Hi, this patch series updates coq and its libraries.
--- End Message ---
--- Begin Message ---Subject: Re: [bug#28925] [PATCH 2/7] gnu: Update coq to 8.7.0. Date: Sun, 22 Oct 2017 10:22:44 +0200 Le Sun, 22 Oct 2017 00:18:43 +0200, Marius Bakke <address@hidden> a écrit : > address@hidden writes: > > > From: Julien Lepiller <address@hidden> > > > > * gnu/packages/ocaml.scm (coq): Update to 8.7.0. > > 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.pgpy9SAPCPJkY.pgp
Description: Signature digitale OpenPGP
--- End Message ---
[Prev in Thread] | Current Thread | [Next in Thread] |