[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
04/07: gnu: coq-equations: Update 1.2.1-8.10-2.
From: |
guix-commits |
Subject: |
04/07: gnu: coq-equations: Update 1.2.1-8.10-2. |
Date: |
Mon, 7 Sep 2020 02:49:34 -0400 (EDT) |
mothacehe pushed a commit to branch master
in repository guix.
commit bdf3f5a403a5c2e859506e0e84edece1557f6da3
Author: Robin Green <greenrd@greenrd.org>
AuthorDate: Sun Sep 6 17:34:22 2020 +0100
gnu: coq-equations: Update 1.2.1-8.10-2.
* gnu/packages/coq.scm (coq-equations): Update to 1.2.1-8.10-2.
Signed-off-by: Mathieu Othacehe <othacehe@gnu.org>
---
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 166e66c..8f98017 100644
--- a/gnu/packages/coq.scm
+++ b/gnu/packages/coq.scm
@@ -553,11 +553,11 @@ uses Ltac to synthesize the substitution operation.")
(method git-fetch)
(uri (git-reference
(url "https://github.com/mattam82/Coq-Equations")
- (commit (string-append "v" version "-8.10"))))
+ (commit (string-append "v" version "-8.10-2"))))
(file-name (git-file-name name version))
(sha256
(base32
- "023q5dww3drw35dm9bi9p9d0wrj9k7vax7hfdsprf8l340pb4s0k"))))
+ "0j3z4l5nrbyi9zbbyqkc6kassjanwld2188mwmrbqspaypm2ys68"))))
(build-system gnu-build-system)
(native-inputs
`(("ocaml" ,ocaml)
- branch master updated (098593e -> 45231d1), guix-commits, 2020/09/07
- 01/07: gnu: libhandy: Update to 0.91.0., guix-commits, 2020/09/07
- 03/07: gnu: libsass: Update to 3.6.4., guix-commits, 2020/09/07
- 02/07: gnu: xournalpp: Fix path to addr2line binary., guix-commits, 2020/09/07
- 04/07: gnu: coq-equations: Update 1.2.1-8.10-2.,
guix-commits <=
- 05/07: gnu: emacsy-minimal: Update to v0.4.1-31-g415d96f., guix-commits, 2020/09/07
- 07/07: gnu: guile-pfds: When using Guile 3, compile as a r6rs library., guix-commits, 2020/09/07
- 06/07: gnu: g-golf: Update to 0.1.0-822.84e894e., guix-commits, 2020/09/07