diff options
author | Brent Carmer | 2019-09-05 13:01:57 -0700 |
---|---|---|
committer | Brent Carmer | 2019-09-05 13:01:57 -0700 |
commit | c7f3ed5d21c952c96c65537ec5b5a7fac5b78c1b (patch) | |
tree | ea46e6d744694cedd032d98aeb1deed7e349c374 | |
parent | edf21126d82ca3d0614e0e02a0a230783ab4d57c (diff) | |
download | aur-c7f3ed5d21c952c96c65537ec5b5a7fac5b78c1b.tar.gz |
update or 0.3
-rw-r--r-- | .SRCINFO | 9 | ||||
-rw-r--r-- | PKGBUILD | 10 |
2 files changed, 8 insertions, 11 deletions
@@ -1,18 +1,15 @@ -# Generated by mksrcinfo v8 -# Wed Jul 13 16:06:35 UTC 2016 pkgbase = saw-script pkgdesc = The SAW scripting language. - pkgver = 0.2 + pkgver = 0.3 pkgrel = 1 url = http://saw.galois.com/ arch = x86_64 license = noncommercial depends = cvc4 - depends = libtinfo depends = java-environment provides = saw-script - source = https://github.com/GaloisInc/saw-script/releases/download/v0.2/saw-0.2-2016-04-12-Ubuntu14.04-64.tar.gz - sha512sums = 097e1a9468cc76d3ec31598d9ad120b3d3d49f55ef1399f981eb60b0ccb5283996dfb3e9f41ed209cb11496c7c096b45f774ad84d44592454e23628847742e38 + source = https://github.com/GaloisInc/saw-script/releases/download/v0.3/saw-0.3-Ubuntu14.04-64.tar.gz + sha512sums = 83f457f9e5b8fe7de01734b334ce45a97068a71c6884de750cc7c37a90c061c0cf53ef4b590aa4611f610312bf6f71d1b93f23e377f57b85c3a06c5fddc9e5be pkgname = saw-script @@ -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/" |