diff options
author | Johannes Wellhöfer | 2020-04-26 09:43:17 +0200 |
---|---|---|
committer | Johannes Wellhöfer | 2020-04-26 09:43:17 +0200 |
commit | 7401dcd06c1525fa1c39100f242abd4e92e1c277 (patch) | |
tree | 7316a8ba580d32dacd14ba0273b026c97d911a56 | |
parent | 8c9a04db06c8f82109890f6f93546f4a8a6da447 (diff) | |
download | aur-7401dcd06c1525fa1c39100f242abd4e92e1c277.tar.gz |
update .SRCINFO
-rw-r--r-- | .SRCINFO | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,6 +1,6 @@ pkgbase = boogie-git pkgdesc = Boogie is an Intermediate Verification Language (IVL) for describing proof obligations to be discharged by a reasoning engine, typically an SMT solver - pkgver = 0.r4273.bad6c01 + pkgver = 0.r5030.8448ac1c pkgrel = 1 url = http://boogie.codeplex.com arch = any |