diff options
| author | Andrew O'Neill | 2017-11-07 21:13:14 -0500 |
|---|---|---|
| committer | Andrew O'Neill | 2017-11-07 21:13:14 -0500 |
| commit | 123f4cb24f511f94a10590ca96407c3b39ba0719 (patch) | |
| tree | fd63a98dcab931fec27a1700c7c519c0a66750ea /.SRCINFO | |
| parent | 145f6dfbdf14c8eeb78108725ccdcf6a29d33e09 (diff) | |
| download | aur-123f4cb24f511f94a10590ca96407c3b39ba0719.tar.gz | |
Version bump
Diffstat (limited to '.SRCINFO')
| -rw-r--r-- | .SRCINFO | 8 |
1 files changed, 4 insertions, 4 deletions
@@ -1,6 +1,6 @@ pkgbase = why3 - pkgdesc = The next generation of the software verification platform Why - pkgver = 0.88.0 + pkgdesc = A platform for deductive program verification + pkgver = 0.88.1 pkgrel = 1 url = http://why3.lri.fr/ arch = x86_64 @@ -17,8 +17,8 @@ pkgbase = why3 makedepends = isabelle depends = gtksourceview2 options = !makeflags - source = https://gforge.inria.fr/frs/download.php/file/37147/why3-0.88.0.tar.gz - sha256sums = 523b2566aa8f2089e52d2ea78bce310a7668c1e488fca49b3272ccef1c24bda4 + source = https://gforge.inria.fr/frs/download.php/file/37185/why3-0.88.1.tar.gz + sha256sums = 7ce28e92d67619f52eb7c61a4f37d628e7f48e882a9d2b716e1b443d4c0240e2 pkgname = why3 |