gnu: frama-c: Update to 29.0.
* gnu/packages/maths.scm (frama-c): Update to 29.0. Change-Id: Ifca4712bc1d75b0c8837ac04151fa9a83ae95bbe Signed-off-by: jgart <jgart@dismail.de>master
parent
ac105faf4c
commit
8632bda8bb
|
@ -9534,14 +9534,14 @@ of C, Java, or Ada programs.")
|
||||||
(define-public frama-c
|
(define-public frama-c
|
||||||
(package
|
(package
|
||||||
(name "frama-c")
|
(name "frama-c")
|
||||||
(version "28.1")
|
(version "29.0")
|
||||||
(source (origin
|
(source (origin
|
||||||
(method url-fetch)
|
(method url-fetch)
|
||||||
(uri (string-append "https://frama-c.com/download/frama-c-"
|
(uri (string-append "https://frama-c.com/download/frama-c-"
|
||||||
version "-Nickel.tar.gz"))
|
version "-Copper.tar.gz"))
|
||||||
(sha256
|
(sha256
|
||||||
(base32
|
(base32
|
||||||
"14zmwghwhcryvri7k91vc1yampvxvhg36vwjxf64d8kx7dsbq802"))))
|
"14vlvynp3yfmnkixm676c1ip0jlkiqjzmrp9f9c990zzs2wb7yyj"))))
|
||||||
(build-system dune-build-system)
|
(build-system dune-build-system)
|
||||||
(arguments
|
(arguments
|
||||||
`(#:phases
|
`(#:phases
|
||||||
|
|
Reference in New Issue