Updated to r523

2 files changed, 9 insertions, 10 deletions

diff --git a/.SRCINFO b/.SRCINFO
index d6182e802602..a3cda6f4a3b4 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,17 +1,16 @@
 # Generated by makepkg 4.2.1
-# Mon Aug 31 21:20:12 UTC 2015
+# Mon Oct 26 21:20:12 UTC 2015
 pkgbase = c0
 	pkgdesc = C0 Package for 15-122
-	pkgver = 0.44
-	pkgrel = 1
+	pkgver = 0.523
+	pkgrel = 2
 	url = http://c0.typesafety.net/index.html
 	arch = x86_64
 	arch = i686
 	license = GPL
 	depends = libpng>=1.6,zlib>=1.2
 	provides = coin,cc0
-	source = c0::http://c0.typesafety.net/dist/cc0-v0440-linux3.18.1-64bit-bin.tgz
-	md5sums = 1b7bb88eda5f196326ad2df5cb2553b3
+	source = c0::http://c0.typesafety.net/dist/cc0-v0523-linux3.13.0-64bit-bin.tgz
+	md5sums = c58f4b8720785ccc4063d2f5f3209da0
 
 pkgname = c0
-
diff --git a/PKGBUILD b/PKGBUILD
index b23978a03c2a..b493053e123c 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,15 +1,15 @@
 # Maintainer: Derek Brown <derekbro@andrew.cmu.edu>
 pkgname=c0
-pkgver=0.44
-pkgrel=1
+pkgver=0.523
+pkgrel=2
 pkgdesc="C0 Package for 15-122"
 url="http://c0.typesafety.net/index.html"
 arch=('x86_64' 'i686')
 license=('GPL')
 depends=('libpng12>=1.2','zlib>=1.2','make>=4.0', 'gcc>=5.1')
 provides=('coin','cc0')
-source=("$pkgname::http://c0.typesafety.net/dist/cc0-v0440-linux3.18.1-64bit-bin.tgz")
-md5sums=('1b7bb88eda5f196326ad2df5cb2553b3')
+source=("$pkgname::http://c0.typesafety.net/dist/cc0-v0523-linux3.13.0-64bit-bin.tgz")
+md5sums=('c58f4b8720785ccc4063d2f5f3209da0')
 
 package() {
   mkdir -p $pkgdir/usr/lib/c0