diff options
| author | Andrew O'Neill | 2018-10-20 16:02:30 -0400 |
|---|---|---|
| committer | Andrew O'Neill | 2018-10-20 16:02:30 -0400 |
| commit | af0bcb16144e6992818bbd632698b55b513e0fc9 (patch) | |
| tree | a597222541654673883eafcef690cef0c3b534b7 /.SRCINFO | |
| parent | e8bcc22056bb86304ec2564fee7de57e6c2668bb (diff) | |
| download | aur-af0bcb16144e6992818bbd632698b55b513e0fc9.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.0.0 + pkgver = 1.1.0 pkgrel = 1 url = http://why3.lri.fr/ arch = x86_64 @@ -18,8 +18,8 @@ pkgbase = why3 makedepends = isabelle depends = gtksourceview2 options = !makeflags - source = https://gforge.inria.fr/frs/download.php/file/37604/why3-1.0.0.tar.gz - sha256sums = b65f4c1661ac8a6240778e6fa553c46098a26d029b02e5cf0e05b0c0630300a2 + source = https://gforge.inria.fr/frs/download.php/file/37767/why3-1.1.0.tar.gz + sha256sums = 817dde9d68eeef60717a137adfe6b909f82726cac286d68627228f5d118e3fa5 pkgname = why3 |