diff options
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 8 |
1 files changed, 4 insertions, 4 deletions
@@ -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 |