diff options
-rw-r--r-- | .SRCINFO | 11 | ||||
-rw-r--r-- | PKGBUILD | 8 |
2 files changed, 9 insertions, 10 deletions
@@ -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 - @@ -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 |