diff options
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 10 |
1 files changed, 5 insertions, 5 deletions
@@ -1,13 +1,13 @@ # Maintainer: Brent Carmer <bcarmer@gmail.com> pkgname=saw-script -pkgver=0.2 +pkgver=0.3 pkgrel=1 pkgdesc="The SAW scripting language." url="http://saw.galois.com/" arch=('x86_64') license=('noncommercial') -depends=('cvc4' 'libtinfo' 'java-environment') +depends=('cvc4' 'java-environment') makedepends=() optdepends=() conflicts=() @@ -15,12 +15,12 @@ replaces=() backup=() conflicts=('') provides=('saw-script') -sha512sums=('097e1a9468cc76d3ec31598d9ad120b3d3d49f55ef1399f981eb60b0ccb5283996dfb3e9f41ed209cb11496c7c096b45f774ad84d44592454e23628847742e38') +sha512sums=(83f457f9e5b8fe7de01734b334ce45a97068a71c6884de750cc7c37a90c061c0cf53ef4b590aa4611f610312bf6f71d1b93f23e377f57b85c3a06c5fddc9e5be) -source=('https://github.com/GaloisInc/saw-script/releases/download/v0.2/saw-0.2-2016-04-12-Ubuntu14.04-64.tar.gz') +source=('https://github.com/GaloisInc/saw-script/releases/download/v0.3/saw-0.3-Ubuntu14.04-64.tar.gz') package() { - cd "$srcdir/saw-0.2-2016-04-12-Ubuntu14.04-64" + cd "$srcdir/saw-0.3-Ubuntu14.04-64" mkdir -p "$pkgdir/usr/bin" cp bin/* "$pkgdir/usr/bin" mkdir -p "$pkgdir/usr/share/licenses/$pkgname/" |