diff options
| author | Dan Frumin <dfrumin@cs.ru.nl> | 2019-03-01 17:15:08 +0100 |
|---|---|---|
| committer | Julien Lepiller <julien@lepiller.eu> | 2019-03-01 21:52:59 +0100 |
| commit | 0b611996b9c41e7c33d30260bbce744a9141d999 (patch) | |
| tree | 096c378302f976454af638b377244e60f7677a6c /gnu | |
| parent | 15f1bff4b6f3a89cb0c9cd10f8cbefdc6d9ac350 (diff) | |
| download | guix-0b611996b9c41e7c33d30260bbce744a9141d999.tar.gz guix-0b611996b9c41e7c33d30260bbce744a9141d999.zip | |
gnu: coq-flocq: Update to 3.1.0.
* gnu/packages/coq.scm (coq-flocq): Update to 3.1.0.
(coq-interval): Update to 3.4.0.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
Diffstat (limited to 'gnu')
| -rw-r--r-- | gnu/packages/coq.scm | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/gnu/packages/coq.scm b/gnu/packages/coq.scm index 3cd8c4cb69..5393d4273b 100644 --- a/gnu/packages/coq.scm +++ b/gnu/packages/coq.scm @@ -184,15 +184,15 @@ provers.") (define-public coq-flocq (package (name "coq-flocq") - (version "2.6.1") + (version "3.1.0") (source (origin (method url-fetch) ;; Use the ‘Latest version’ link for a stable URI across releases. (uri (string-append "https://gforge.inria.fr/frs/download.php/" - "file/37454/flocq-" version ".tar.gz")) + "file/37901/flocq-" version ".tar.gz")) (sha256 (base32 - "06msp1fwpqv6p98a3i1nnkj7ch9rcq3rm916yxq8dxf51lkghrin")))) + "02szrgz9m0ac51la1lqpiv6i2g0zbgx9gz5rp0q1g00ajldyna5c")))) (build-system gnu-build-system) (native-inputs `(("ocaml" ,ocaml) @@ -413,14 +413,14 @@ provides BigN, BigZ, BigQ that used to be part of Coq standard library.") (define-public coq-interval (package (name "coq-interval") - (version "3.3.0") + (version "3.4.0") (source (origin (method url-fetch) (uri (string-append "https://gforge.inria.fr/frs/download.php/" - "file/37077/interval-" version ".tar.gz")) + "file/37524/interval-" version ".tar.gz")) (sha256 (base32 - "08fdcf3hbwqphglvwprvqzgkg0qbimpyhnqsgv3gac4y1ap0f903")))) + "023j9sd64brqvjdidqkn5m8d7a93zd9r86ggh573z9nkjm2m7vvg")))) (build-system gnu-build-system) (native-inputs `(("ocaml" ,ocaml) |