unofficial mirror of guix-patches@gnu.org 
 help / color / mirror / code / Atom feed
* [bug#38965] [PATCH 00/12] gnu: coq: Update to 8.10.2.
@ 2020-01-06  8:24 Brett Gilio
  2020-01-06  8:25 ` [bug#38965] [PATCH 01/12] gnu: Add ocaml-cairo2 Brett Gilio
                   ` (12 more replies)
  0 siblings, 13 replies; 18+ messages in thread
From: Brett Gilio @ 2020-01-06  8:24 UTC (permalink / raw)
  To: 38965

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: [PATCH 00/12] gnu: coq: Update to 8.10.2. --]
[-- Type: text/x-patch, Size: 1121 bytes --]

From 89b5acd77c520c2cf72c0dda28bd1a1c0ea97e55 Mon Sep 17 00:00:00 2001
From: Brett Gilio <brettg@gnu.org>
Date: Mon, 6 Jan 2020 02:22:20 -0600
Subject: [PATCH 00/12] gnu: coq: Update to 8.10.2.
To: guix-patches@gnu.org

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

^ permalink raw reply	[flat|nested] 18+ messages in thread

end of thread, other threads:[~2020-01-07  3:16 UTC | newest]

Thread overview: 18+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2020-01-06  8:24 [bug#38965] [PATCH 00/12] gnu: coq: Update to 8.10.2 Brett Gilio
2020-01-06  8:25 ` [bug#38965] [PATCH 01/12] gnu: Add ocaml-cairo2 Brett Gilio
2020-01-06  8:26 ` [bug#38965] [PATCH 02/12] gnu: Add ocaml-lablgtk3 Brett Gilio
2020-01-06  8:26 ` [bug#38965] [PATCH 03/12] gnu: coq: Update to 8.10.2 Brett Gilio
2020-01-06  8:27 ` [bug#38965] [PATCH 04/12] gnu: coq: Reword several comments Brett Gilio
2020-01-06  8:27 ` [bug#38965] [PATCH 05/12] gnu: coq-flocq: Update to 3.2.0 Brett Gilio
2020-01-06  8:27 ` [bug#38965] [PATCH 06/12] gnu: coq-flocq: Use HTTPS home page URI Brett Gilio
2020-01-06  8:27 ` [bug#38965] [PATCH 07/12] gnu: coq-gappa: Update to 1.4.2 Brett Gilio
2020-01-06  8:27 ` [bug#38965] [PATCH 08/12] gnu: coq-gappa: Use HTTPS home page URI Brett Gilio
2020-01-06  8:28 ` [bug#38965] [PATCH 09/12] gnu: coq-coquelicot: Update to 3.0.3 Brett Gilio
2020-01-06  8:28 ` [bug#38965] [PATCH 10/12] gnu: coq-coquelicot: Truncate home-page Brett Gilio
2020-01-06  8:28 ` [bug#38965] [PATCH 11/12] gnu: coq-interval: Update to 3.4.1 Brett Gilio
2020-01-06  8:28 ` [bug#38965] [PATCH 12/12] gnu: coq-equations: Update to 1.2.1 Brett Gilio
2020-01-06 14:00 ` [bug#38965] [PATCH 00/12] gnu: coq: Update to 8.10.2 Julien Lepiller
2020-01-07  2:04   ` Brett Gilio
2020-01-07  2:34     ` Julien Lepiller
2020-01-07  2:38       ` Brett Gilio
2020-01-07  3:15         ` bug#38965: " Brett Gilio

Code repositories for project(s) associated with this public inbox

	https://git.savannah.gnu.org/cgit/guix.git

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).