Release v0523-1 via TravisCI

2 files changed, 3 insertions, 3 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 87513c9134b4..5155a848a320 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,9 +1,9 @@
 # Generated by mksrcinfo v8
-# Mon Aug 28 17:00:45 UTC 2017
+# Mon Aug 28 17:10:06 UTC 2017
 pkgbase = c0
 	pkgdesc = C0 Package for 15-122
 	pkgver = 0.523
-	pkgrel = 3
+	pkgrel = 1
 	url = http://c0.typesafety.net/index.html
 	arch = x86_64
 	arch = i686
diff --git a/PKGBUILD b/PKGBUILD
index 538e9b37d461..ed5e5a7fdf84 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,7 +1,7 @@
 # Maintainer: Derek Brown <derekbro@andrew.cmu.edu>
 pkgname=c0
 pkgver=0.523
-pkgrel=3
+pkgrel=1
 pkgdesc="C0 Package for 15-122"
 url="http://c0.typesafety.net/index.html"
 arch=('x86_64' 'i686')