[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#71492] [PATCH 3/6] gnu: coq-gappa: Update to 1.5.5.
From: |
Jean-Pierre De Jesus DIAZ |
Subject: |
[bug#71492] [PATCH 3/6] gnu: coq-gappa: Update to 1.5.5. |
Date: |
Wed, 12 Jun 2024 10:57:10 +0200 |
* gnu/packages/coq.scm (coq-gappa): Update to 1.5.5.
Change-Id: Iaf0077a8081d7ba30aeb1bded3bc36570df88283
---
gnu/packages/coq.scm | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/gnu/packages/coq.scm b/gnu/packages/coq.scm
index 4b2efb017f..97e797e2de 100644
--- a/gnu/packages/coq.scm
+++ b/gnu/packages/coq.scm
@@ -291,7 +291,7 @@ (define-public coq-for-coqtail
(define-public coq-gappa
(package
(name "coq-gappa")
- (version "1.5.3")
+ (version "1.5.5")
(source
(origin
(method git-fetch)
@@ -301,7 +301,7 @@ (define-public coq-gappa
(file-name (git-file-name name version))
(sha256
(base32
- "1dzkb2sfglhik2ymw8p65khl163xxjsaqji9agnnkvlk5r6589v6"))))
+ "0w780wk10khzfx6d633dyzx9q0hvqgimqbzc3irjzvsbpvb0zm5c"))))
(build-system gnu-build-system)
(native-inputs
(list autoconf
--
2.45.1
- [bug#71492] [PATCH 0/6] coq: Update various packages., Jean-Pierre De Jesus DIAZ, 2024/06/11
- [bug#71492] [PATCH 3/6] gnu: coq-gappa: Update to 1.5.5.,
Jean-Pierre De Jesus DIAZ <=
- [bug#71492] [PATCH 2/6] gnu: coq-coquelicot: Update to 3.4.1., Jean-Pierre De Jesus DIAZ, 2024/06/12
- [bug#71492] [PATCH 1/6] gnu: coq-autosubst: Update to 1.8-0.6ba0acc., Jean-Pierre De Jesus DIAZ, 2024/06/12
- [bug#71492] [PATCH 6/6] gnu: coq-stdpp: Update to 1.10.0., Jean-Pierre De Jesus DIAZ, 2024/06/12
- [bug#71492] [PATCH 4/6] gnu: coq-interval: Update to 4.10.0., Jean-Pierre De Jesus DIAZ, 2024/06/12
- [bug#71492] [PATCH 5/6] gnu: coq-mathcomp: Update to 1.19.0., Jean-Pierre De Jesus DIAZ, 2024/06/12
- [bug#71492] [PATCH 0/6] coq: Update various packages., Arnaud Daby-Seesaram, 2024/06/12
- [bug#71492] New release?, Andreas Enge, 2024/06/14
- [bug#71492] [PATCH v2] gnu: coq-autosubst: Fix Coq 8.19 compatibility., Jean-Pierre De Jesus DIAZ, 2024/06/17
- [bug#71492] New release?, Jean-Pierre De Jesus Diaz, 2024/06/17