Update to 5.2-1

2 files changed, 6 insertions, 6 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 86bbdf68c9ea..1bfa2bb74c79 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,7 +1,7 @@
 pkgbase = cbmc
 	pkgdesc = Bounded Model Checking for ANSI-C
-	pkgver = 5.1
-	pkgrel = 2
+	pkgver = 5.2
+	pkgrel = 1
 	url = http://www.cprover.org/cbmc/
 	arch = i686
 	arch = x86_64
@@ -15,7 +15,7 @@ pkgbase = cbmc
 	provides = cbmc
 	conflicts = cbmc
 	conflicts = cbmc-bin
-	source = cbmc::svn+http://www.cprover.org/svn/cbmc/releases/cbmc-5.1
+	source = cbmc::svn+http://www.cprover.org/svn/cbmc/releases/cbmc-5.2
 	sha1sums = SKIP
 
 pkgname = cbmc
diff --git a/PKGBUILD b/PKGBUILD
index 5d44d4e94608..9db67cd67e03 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,15 +1,15 @@
 # Maintainer: Python Shell <pythonshell@yeah.net>
 
 pkgname=cbmc
-pkgver=5.1
-pkgrel=2
+pkgver=5.2
+pkgrel=1
 pkgdesc="Bounded Model Checking for ANSI-C"
 arch=('i686' 'x86_64')
 url="http://www.cprover.org/cbmc/"
 license=('custom')
 makedepends=('subversion')
 depends=('flex' 'bison' 'make' 'patch' 'perl-libwww')
-source=("${pkgname}::svn+http://www.cprover.org/svn/cbmc/releases/cbmc-5.1")
+source=("${pkgname}::svn+http://www.cprover.org/svn/cbmc/releases/cbmc-5.2")
 sha1sums=('SKIP')
 
 provides=('cbmc')