diff options
Diffstat (limited to '.SRCINFO')
| -rw-r--r-- | .SRCINFO | 13 |
1 files changed, 7 insertions, 6 deletions
@@ -1,8 +1,8 @@ # Generated by mksrcinfo v8 -# Sat Jan 19 07:02:33 UTC 2019 +# Sun Dec 1 16:59:03 UTC 2019 pkgbase = frama-c pkgdesc = Extensible platform dedicated to source-code analysis of C software. - pkgver = 18.0 + pkgver = 19.1 pkgrel = 1 epoch = 1 url = http://frama-c.com @@ -17,6 +17,7 @@ pkgbase = frama-c makedepends = ocaml-ocamlgraph makedepends = ocaml-findlib makedepends = ocaml-num + makedepends = ocaml-yojson depends = gtksourceview2 depends = libgnomecanvas depends = ocaml-zarith @@ -24,10 +25,10 @@ pkgbase = frama-c optdepends = coq optdepends = graphviz optdepends = ltl2ba - source = http://frama-c.com/download/frama-c-18.0-Argon.tar.gz - md5sums = 659cf094d6e92a8adeb5863ec229020b - sha1sums = b97529a6f92622f9d6e9132668b978e615c1969e - sha256sums = 42b12540c608f3bf6cc258a6bcededf3c596589e58bfdfc6bf473a05ab980829 + source = http://frama-c.com/download/frama-c-19.1-Potassium.tar.gz + md5sums = 439bfca103e6ceb726df3fc993334d57 + sha1sums = ee1f2528c58196ffbefb93879eff65fbecad8db6 + sha256sums = 2def511c3cf4b0362bd67520bc48345c5093754c70de7c712b9af9b12561ba9b pkgname = frama-c |