futurile/guix-play
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

gnu: frama-c: Update to 28.1.

Browse Source 
* gnu/packages/maths.scm (frama-c): Update to 28.1.

Change-Id: I0ce0d0a7db4d017ba1f5028e73c931ceb706fce5
Signed-off-by: Andreas Enge <andreas@enge.fr>
This commit is contained in:
Jean-Pierre De Jesus DIAZ 2024-05-07 17:57:23 +02:00 committed by Andreas Enge
parent 3b9e1cdc70
commit 28ce5085a0
No known key found for this signature in database
GPG Key ID: F7D5C9BF765C61E3
1 changed files with 5 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
gnu/packages/maths.scm
View File

@ -9542,14 +9542,14 @@ of C, Java, or Ada programs.")
(define-public frama-c
(package
(name "frama-c")
(version "27.1")
(version "28.1")
(source (origin
(method url-fetch)
(uri (string-append "http://frama-c.com/download/frama-c-"
version "-Cobalt.tar.gz"))
(uri (string-append "https://frama-c.com/download/frama-c-"
version "-Nickel.tar.gz"))
(sha256
(base32
"1lirkvhf5m53d33l0aw5jzc1fyzkwx5fkgh9g71732d52r55f4sv"))))
"14zmwghwhcryvri7k91vc1yampvxvhg36vwjxf64d8kx7dsbq802"))))
(build-system dune-build-system)
(arguments
`(#:phases
@ -9572,6 +9572,7 @@ of C, Java, or Ada programs.")
ocaml-ppx-deriving-yojson
ocaml-ppx-deriving-yaml
ocaml-ppx-import
ocaml-unionfind
why3))
(native-inputs (list dune-site time ocaml-menhir ocaml-graph))
(native-search-paths