bug#38965: closed ([PATCH 00/12] gnu: coq: Update to 8.10.2.)

[GNU bug Tracking System]

Your message dated Mon, 06 Jan 2020 21:15:00 -0600
with message-id <address@hidden>
and subject line Re: [bug#38965] [PATCH 00/12] gnu: coq: Update to 8.10.2.
has caused the debbugs.gnu.org bug report #38965,
regarding [PATCH 00/12] gnu: coq: Update to 8.10.2.
to be marked as done.

(If you believe you have received this mail in error, please contact
address@hidden.)


-- 
38965: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=38965
GNU Bug Tracking System
Contact address@hidden with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> [PATCH 00/12] gnu: coq: Update to 8.10.2.
>
>
>
>
> Date: 
>
> Mon, 06 Jan 2020 02:24:29 -0600
>
>
>
>
> >From 89b5acd77c520c2cf72c0dda28bd1a1c0ea97e55 Mon Sep 17 00:00:00 2001
> From: Brett Gilio <address@hidden>
> Date: Mon, 6 Jan 2020 02:22:20 -0600
> Subject: [PATCH 00/12] gnu: coq: Update to 8.10.2.
> To: address@hidden
>
> This patch series attempts to update Coq and several Coq-related
> packages to their latest version. This patch series may require
> some work. For example, I am unsure of whether to add ocaml-lablgtk3
> as a new variable, or replace the existing lablgtk package.
>
> Brett Gilio (12):
>   gnu: Add ocaml-cairo2.
>   gnu: Add ocaml-lablgtk3.
>   gnu: coq: Update to 8.10.2.
>   gnu: coq: Reword several comments.
>   gnu: coq-flocq: Update to 3.2.0.
>   gnu: coq-flocq: Use HTTPS home page URI.
>   gnu: coq-gappa: Update to 1.4.2.
>   gnu: coq-gappa: Use HTTPS home page URI.
>   gnu: coq-coquelicot: Update to 3.0.3.
>   gnu: coq-coquelicot: Truncate home-page.
>   gnu: coq-interval: Update to 3.4.1.
>   gnu: coq-equations: Update to 1.2.1.
>
>  gnu/packages/coq.scm   | 148 ++++++++++++++++++++++++-----------------
>  gnu/packages/ocaml.scm |  72 ++++++++++++++++++++
>  2 files changed, 158 insertions(+), 62 deletions(-)
>
> -- 
> 2.24.1
>
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: [bug#38965] [PATCH 00/12] gnu: coq: Update to 8.10.2.
>
>
>
>
> Date: 
>
> Mon, 06 Jan 2020 21:15:00 -0600
>
>
>
>
> User-agent: 
>
> Gnus/5.13 (Gnus v5.13) Emacs/26.3 (gnu/linux)
>
>
>
>
> Pushed to master with corrections. Closing. :)
>
> -- 
> Brett M. Gilio
> GNU Guix, Contributor | GNU Project, Webmaster
> [DFC0 C7F7 9EE6 0CA7 AE55 5E19 6722 43C4 A03F 0EEE]
> <address@hidden> <address@hidden>
>
>
> --- End Message ---