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>
This commit is contained in:
parent
15f1bff4b6
commit
0b611996b9
|
@ -184,15 +184,15 @@ provers.")
|
||||||
(define-public coq-flocq
|
(define-public coq-flocq
|
||||||
(package
|
(package
|
||||||
(name "coq-flocq")
|
(name "coq-flocq")
|
||||||
(version "2.6.1")
|
(version "3.1.0")
|
||||||
(source (origin
|
(source (origin
|
||||||
(method url-fetch)
|
(method url-fetch)
|
||||||
;; Use the ‘Latest version’ link for a stable URI across releases.
|
;; Use the ‘Latest version’ link for a stable URI across releases.
|
||||||
(uri (string-append "https://gforge.inria.fr/frs/download.php/"
|
(uri (string-append "https://gforge.inria.fr/frs/download.php/"
|
||||||
"file/37454/flocq-" version ".tar.gz"))
|
"file/37901/flocq-" version ".tar.gz"))
|
||||||
(sha256
|
(sha256
|
||||||
(base32
|
(base32
|
||||||
"06msp1fwpqv6p98a3i1nnkj7ch9rcq3rm916yxq8dxf51lkghrin"))))
|
"02szrgz9m0ac51la1lqpiv6i2g0zbgx9gz5rp0q1g00ajldyna5c"))))
|
||||||
(build-system gnu-build-system)
|
(build-system gnu-build-system)
|
||||||
(native-inputs
|
(native-inputs
|
||||||
`(("ocaml" ,ocaml)
|
`(("ocaml" ,ocaml)
|
||||||
|
@ -413,14 +413,14 @@ provides BigN, BigZ, BigQ that used to be part of Coq standard library.")
|
||||||
(define-public coq-interval
|
(define-public coq-interval
|
||||||
(package
|
(package
|
||||||
(name "coq-interval")
|
(name "coq-interval")
|
||||||
(version "3.3.0")
|
(version "3.4.0")
|
||||||
(source (origin
|
(source (origin
|
||||||
(method url-fetch)
|
(method url-fetch)
|
||||||
(uri (string-append "https://gforge.inria.fr/frs/download.php/"
|
(uri (string-append "https://gforge.inria.fr/frs/download.php/"
|
||||||
"file/37077/interval-" version ".tar.gz"))
|
"file/37524/interval-" version ".tar.gz"))
|
||||||
(sha256
|
(sha256
|
||||||
(base32
|
(base32
|
||||||
"08fdcf3hbwqphglvwprvqzgkg0qbimpyhnqsgv3gac4y1ap0f903"))))
|
"023j9sd64brqvjdidqkn5m8d7a93zd9r86ggh573z9nkjm2m7vvg"))))
|
||||||
(build-system gnu-build-system)
|
(build-system gnu-build-system)
|
||||||
(native-inputs
|
(native-inputs
|
||||||
`(("ocaml" ,ocaml)
|
`(("ocaml" ,ocaml)
|
||||||
|
|
Loading…
Reference in New Issue