[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
03/07: gnu: Update coq-flocq to 2.6.0.
From: |
julien lepiller |
Subject: |
03/07: gnu: Update coq-flocq to 2.6.0. |
Date: |
Sun, 22 Oct 2017 04:23:33 -0400 (EDT) |
roptat pushed a commit to branch master
in repository guix.
commit b44f13e04cec16c6c4a4ad627f79c787f868bc58
Author: Julien Lepiller <address@hidden>
Date: Sat Oct 21 16:16:15 2017 +0200
gnu: Update coq-flocq to 2.6.0.
* gnu/packages/ocaml.scm (coq-flocq): Update to 2.6.0.
---
gnu/packages/ocaml.scm | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index bbdde28..f2b06d0 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -3560,14 +3560,14 @@ library is currently designed for Unicode Standard
3.2.")
(define-public coq-flocq
(package
(name "coq-flocq")
- (version "2.5.2")
+ (version "2.6.0")
(source (origin
(method url-fetch)
(uri (string-append
"https://gforge.inria.fr/frs/download.php/file"
- "/36199/flocq-" version ".tar.gz"))
+ "/37054/flocq-" version ".tar.gz"))
(sha256
(base32
- "0h5mlasirfzc0wwn2isg4kahk384n73145akkpinrxq5jsn5d22h"))))
+ "13fv150dcwnjrk00d7zj2c5x9jwmxgrq0ay440gkr730l8mvk3l3"))))
(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, 2017/10/22
- 01/07: gnu: camlp5: install META file., julien lepiller, 2017/10/22
- 03/07: gnu: Update coq-flocq to 2.6.0.,
julien lepiller <=
- 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