ryan77627/guix
1
0
Fork 0
mirror of https://git.in.rschanz.org/ryan77627/guix.git synced 2024-12-26 06:18:07 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

gnu: frama-c: Update to 24.0.

Browse source 
* gnu/packages/maths.scm (frama-c): Update to 24.0.
This commit is contained in:
Julien Lepiller 2021-12-22 02:07:02 +01:00
parent bdf74dad1a
commit 2317a5e17f
No known key found for this signature in database
GPG key ID: 53D457B2D636EE82
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
gnu/packages/maths.scm
View file

@ -7195,14 +7195,14 @@ (define-public why3
(define-public frama-c
(package
(name "frama-c")
(version "23.1")
(version "24.0")
(source (origin
(method url-fetch)
(uri (string-append "http://frama-c.com/download/frama-c-"
version "-Vanadium.tar.gz"))
version "-Chromium.tar.gz"))
(sha256
(base32
"1rgkq9sg436smw005ag0j6y3xryhjn18a07m5wjfrfp0s1438nnj"))))
"0x1xgip50jdz1phsb9rzwf2ra8lshn1hmd9g967xia402wrg3sjf"))))
(build-system ocaml-build-system)
(arguments
`(#:tests? #f; no test target in Makefile