diff options
Diffstat (limited to '.SRCINFO')
-rw-r--r-- | .SRCINFO | 11 |
1 files changed, 4 insertions, 7 deletions
@@ -1,17 +1,14 @@ pkgbase = why3 pkgdesc = A platform for deductive program verification - pkgver = 1.3.1 - pkgrel = 3 + pkgver = 1.3.2 + pkgrel = 1 url = http://why3.lri.fr/ arch = x86_64 license = LGPL depends = gtksourceview2 - depends = dune - depends = ocaml-findlib depends = ocaml depends = ocaml-menhir depends = rubber - depends = gtksourceview2 depends = lablgtk2 depends = ocaml-ocamlgraph depends = ocaml-num @@ -20,8 +17,8 @@ pkgbase = why3 depends = coq depends = isabelle options = !makeflags - source = https://gforge.inria.fr/frs/download.php/file/38291/why3-1.3.1.tar.gz - sha256sums = 7b0d5e8f67aa3e964b44fe943cc7ea538a9ebef823713eda1b52fc0f0ccbec9b + source = https://gforge.inria.fr/frs/download.php/file/38366/why3-1.3.2.tar.gz + sha256sums = 8753ee9b75c69def9acdaecb4e99fb458715fee1e89c7a7e5be7af777b14a525 pkgname = why3 |