gnu: frama-c: Update to 23.1.
* gnu/packages/maths.scm (frama-c): Update to 23.1.master
parent
26dd2321fe
commit
6516e88fe3
|
@ -6970,14 +6970,14 @@ of C, Java, or Ada programs.")
|
||||||
(define-public frama-c
|
(define-public frama-c
|
||||||
(package
|
(package
|
||||||
(name "frama-c")
|
(name "frama-c")
|
||||||
(version "22.0")
|
(version "23.1")
|
||||||
(source (origin
|
(source (origin
|
||||||
(method url-fetch)
|
(method url-fetch)
|
||||||
(uri (string-append "http://frama-c.com/download/frama-c-"
|
(uri (string-append "http://frama-c.com/download/frama-c-"
|
||||||
version "-Titanium.tar.gz"))
|
version "-Vanadium.tar.gz"))
|
||||||
(sha256
|
(sha256
|
||||||
(base32
|
(base32
|
||||||
"1mq1fijka95ydrla486yr4w6wdl9l7vmp512s1q00b0p6lmfwmkh"))))
|
"1rgkq9sg436smw005ag0j6y3xryhjn18a07m5wjfrfp0s1438nnj"))))
|
||||||
(build-system ocaml-build-system)
|
(build-system ocaml-build-system)
|
||||||
(arguments
|
(arguments
|
||||||
`(#:tests? #f; no test target in Makefile
|
`(#:tests? #f; no test target in Makefile
|
||||||
|
|
Reference in New Issue