diff options
author | Andrew O'Neill | 2019-11-04 12:22:22 -0500 |
---|---|---|
committer | Andrew O'Neill | 2019-11-04 12:22:22 -0500 |
commit | e4f15e399962fc629aa2589805ea6c833370fa13 (patch) | |
tree | 1b38e73effd6a44c2f26010c2b84a0fe45f18157 /.SRCINFO | |
parent | e95970e42bb0a47bd9b990af07f818405cea5e41 (diff) | |
download | aur-e4f15e399962fc629aa2589805ea6c833370fa13.tar.gz |
Version bump
Diffstat (limited to '.SRCINFO')
-rw-r--r-- | .SRCINFO | 28 |
1 files changed, 14 insertions, 14 deletions
@@ -1,25 +1,25 @@ pkgbase = why3 pkgdesc = A platform for deductive program verification - pkgver = 1.2.0 + pkgver = 1.2.1 pkgrel = 1 url = http://why3.lri.fr/ arch = x86_64 license = LGPL - makedepends = ocaml - makedepends = ocaml-menhir - makedepends = rubber - makedepends = gtksourceview2 - makedepends = lablgtk2 - makedepends = ocaml-ocamlgraph - makedepends = ocaml-num - makedepends = ocaml-zarith - makedepends = ocaml-zip - makedepends = coq - makedepends = isabelle depends = gtksourceview2 + depends = ocaml + depends = ocaml-menhir + depends = rubber + depends = gtksourceview2 + depends = lablgtk2 + depends = ocaml-ocamlgraph + depends = ocaml-num + depends = ocaml-zarith + depends = ocaml-zip + depends = coq + depends = isabelle options = !makeflags - source = https://gforge.inria.fr/frs/download.php/file/37903/why3-1.2.0.tar.gz - sha256sums = 888c09fbad8d5c83b3c23ebc8d89fcb9c535cc3ee2cb8c3752329c086500e077 + source = https://gforge.inria.fr/frs/download.php/file/38185/why3-1.2.1.tar.gz + sha256sums = 8798ffbe1c455d7ab39692c1d09f15e0267196cfb37f41c6e8055ca9239f8f04 pkgname = why3 |