guix-patches
[Top][All Lists]
Advanced

[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






reply via email to

[Prev in Thread] Current Thread [Next in Thread]