[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#72730] [PATCH 0/2] coq: Update to 8.18.0.
From: |
Jean-Pierre De Jesus DIAZ |
Subject: |
[bug#72730] [PATCH 0/2] coq: Update to 8.18.0. |
Date: |
Tue, 20 Aug 2024 12:28:55 +0200 |
This updates Coq to 8.18.0 and some Coq plugins to build on the newer
version. Updated to this one as 8.17 is already showing its age, Coq
8.19 still breaks Why 3, so that's the reason for 8.18, Why 3 already
has some fixes for 8.19 so when released we can update to 8.19 (or 8.20
that is soon to be released).
Jean-Pierre De Jesus DIAZ (2):
gnu: coq: Propagate ocaml-zarith.
gnu: coq: Update to 8.18.0.
gnu/packages/coq.scm | 29 ++++++++++++++---------------
1 file changed, 14 insertions(+), 15 deletions(-)
base-commit: 91b69f154db218834de002dcd013a8f47170e684
--
2.45.2
- [bug#72730] [PATCH 0/2] coq: Update to 8.18.0.,
Jean-Pierre De Jesus DIAZ <=