summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorJohannes Wellhöfer2020-04-26 09:43:17 +0200
committerJohannes Wellhöfer2020-04-26 09:43:17 +0200
commit7401dcd06c1525fa1c39100f242abd4e92e1c277 (patch)
tree7316a8ba580d32dacd14ba0273b026c97d911a56
parent8c9a04db06c8f82109890f6f93546f4a8a6da447 (diff)
downloadaur-boogie-git.tar.gz
update .SRCINFO
Diffstat
-rw-r--r--.SRCINFO2
1 files changed, 1 insertions, 1 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 256968d23f22..a07b9f6ad5d1 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -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