diff options
| author | Andrew O'Neill | 2020-04-22 19:47:11 -0400 |
|---|---|---|
| committer | Andrew O'Neill | 2020-04-22 19:47:11 -0400 |
| commit | a928413031f3660804706cdc2d0a93c2f0c047bf (patch) | |
| tree | 4f9fac8c6ce0abd4bead7ffa2135f4d9064c81ec /.SRCINFO | |
| parent | e4f15e399962fc629aa2589805ea6c833370fa13 (diff) | |
| download | aur-a928413031f3660804706cdc2d0a93c2f0c047bf.tar.gz | |
Version bump
Diffstat (limited to '.SRCINFO')
| -rw-r--r-- | .SRCINFO | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -1,6 +1,6 @@ pkgbase = why3 pkgdesc = A platform for deductive program verification - pkgver = 1.2.1 + pkgver = 1.3.1 pkgrel = 1 url = http://why3.lri.fr/ arch = x86_64 @@ -18,8 +18,8 @@ pkgbase = why3 depends = coq depends = isabelle options = !makeflags - source = https://gforge.inria.fr/frs/download.php/file/38185/why3-1.2.1.tar.gz - sha256sums = 8798ffbe1c455d7ab39692c1d09f15e0267196cfb37f41c6e8055ca9239f8f04 + source = https://gforge.inria.fr/frs/download.php/file/38291/why3-1.3.1.tar.gz + sha256sums = 7b0d5e8f67aa3e964b44fe943cc7ea538a9ebef823713eda1b52fc0f0ccbec9b pkgname = why3 |