[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
04/07: gnu: Update coq-mathcomp to 1.6.2.
From: |
julien lepiller |
Subject: |
04/07: gnu: Update coq-mathcomp to 1.6.2. |
Date: |
Sun, 22 Oct 2017 04:23:33 -0400 (EDT) |
roptat pushed a commit to branch master
in repository guix.
commit 2e331c9c43a6f0678967ff05383a189241fbf458
Author: Julien Lepiller <address@hidden>
Date: Sat Oct 21 16:31:46 2017 +0200
gnu: Update coq-mathcomp to 1.6.2.
* gnu/packages/ocaml.scm (coq-mathcomp): Update to 1..6.2.
---
gnu/packages/ocaml.scm | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index f2b06d0..beb73a2 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -3657,14 +3657,14 @@ assistant.")
(define-public coq-mathcomp
(package
(name "coq-mathcomp")
- (version "1.6.1")
+ (version "1.6.2")
(source (origin
(method url-fetch)
(uri (string-append
"https://github.com/math-comp/math-comp/archive/mathcomp-"
version ".tar.gz"))
(sha256
(base32
- "1j9ylggjzrxz1i2hdl2yhsvmvy5z6l4rprwx7604401080p5sgjw"))))
+ "0lg5ncr7p4y8qqq6pfw6brqc6a9xzlfa0drprwfdn0rnyaq5nca6"))))
(build-system gnu-build-system)
(native-inputs
`(("ocaml" ,ocaml)
- branch master updated (3d679ab -> 6efc999), julien lepiller, 2017/10/22
- 02/07: gnu: Update coq to 8.7.0., julien lepiller, 2017/10/22
- 04/07: gnu: Update coq-mathcomp to 1.6.2.,
julien lepiller <=
- 01/07: gnu: camlp5: install META file., julien lepiller, 2017/10/22
- 03/07: gnu: Update coq-flocq to 2.6.0., julien lepiller, 2017/10/22
- 05/07: gnu: Update coq-coquelicot to 3.0.1., julien lepiller, 2017/10/22
- 07/07: gnu: Update coq-interval to 3.3.0., julien lepiller, 2017/10/22
- 06/07: gnu: Add coq-bignums., julien lepiller, 2017/10/22