|
From: | GNU bug Tracking System |
Subject: | bug#49423: closed ([PATCH] gnu: coq: Update to 8.13.2.) |
Date: | Sat, 31 Jul 2021 21:08:02 +0000 |
Your message dated Sat, 31 Jul 2021 23:07:31 +0200 with message-id <20210731230731.5f7813ef@tachikoma.lepiller.eu> and subject line Re: [bug#49423] [PATCH] gnu: coq: Update to 8.13.2. has caused the debbugs.gnu.org bug report #49423, regarding [PATCH] gnu: coq: Update to 8.13.2. to be marked as done. (If you believe you have received this mail in error, please contact help-debbugs@gnu.org.) -- 49423: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=49423 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems
--- Begin Message ---Subject: [PATCH] gnu: coq: Update to 8.13.2. Date: Tue, 6 Jul 2021 00:06:40 +0200 Hi guix! this small series updates coq to the latest version. I had to update zarith and a few dependencies (some of which cannot be updated independently of coq), and fix the installation of lablgtk. This version of coq uses dune, and I split the coq package into coq, coq-ide-server (contains coqidetop) and coq-ide (contains the graphical interface). This also simplifies the dependency graph for coq packages, as they no longer need the graphical stack. I tried building the documentation too, but it complains about missing coq package, even if I added it to the inputs of coq-doc, so it's not part of this series.0001-gnu-ocaml-zarith-Update-to-1.12.patch
Description: Text Data0002-gnu-lablgtk3-Install-with-version-information.patch
Description: Text Data0003-gnu-coq-stdpp-Update-to-1.5.0.patch
Description: Text Data0004-gnu-coq-Update-to-8.13.2.patch
Description: Text Data
--- End Message ---
--- Begin Message ---Subject: Re: [bug#49423] [PATCH] gnu: coq: Update to 8.13.2. Date: Sat, 31 Jul 2021 23:07:31 +0200 Le Tue, 6 Jul 2021 00:06:40 +0200, Julien Lepiller <julien@lepiller.eu> a écrit : > Hi guix! > > this small series updates coq to the latest version. I had to update > zarith and a few dependencies (some of which cannot be updated > independently of coq), and fix the installation of lablgtk. > > This version of coq uses dune, and I split the coq package into coq, > coq-ide-server (contains coqidetop) and coq-ide (contains the > graphical interface). This also simplifies the dependency graph for > coq packages, as they no longer need the graphical stack. > > I tried building the documentation too, but it complains about missing > coq package, even if I added it to the inputs of coq-doc, so it's not > part of this series. Pushed to master as 96707d5a309d083b1a9bf1f0c8fc1251cf203337 to e38b4d5ceb344c9707917a7d32df50d0ced082b5, thanks!
--- End Message ---
[Prev in Thread] | Current Thread | [Next in Thread] |