diff options
author | Matěj Grabovský | 2019-01-14 23:04:50 +0100 |
---|---|---|
committer | Matěj Grabovský | 2019-01-14 23:04:50 +0100 |
commit | f6d1967da6a5b7303f37956f2dfbcfd3f4b68eb3 (patch) | |
tree | 98f8fbf66ab69e2bacce8df452c0932d798bcf4b | |
parent | 8d0433f54e764663b4b231e6d54923113995c5da (diff) | |
download | aur-abella.tar.gz |
Update to 2.0.6
-rw-r--r-- | .SRCINFO | 8 | ||||
-rw-r--r-- | PKGBUILD | 4 |
2 files changed, 6 insertions, 6 deletions
@@ -1,16 +1,16 @@ # Generated by mksrcinfo v8 -# Wed Oct 3 16:12:48 UTC 2018 +# Mon Jan 14 22:04:41 UTC 2019 pkgbase = abella pkgdesc = Interactive theorem prover - pkgver = 2.0.5 + pkgver = 2.0.6 pkgrel = 1 url = http://abella-prover.org/ arch = i686 arch = x86_64 license = GPL3 makedepends = ocaml - source = abella::http://abella-prover.org/distributions/abella-2.0.5.tar.gz - sha256sums = 20b23594f66a69ceaddda9a488a1d42d135aadd7b33d9fced3c7a76be4253e2f + source = abella::http://abella-prover.org/distributions/abella-2.0.6.tar.gz + sha256sums = d1f793b1e34f3adcaf6d28e2c0274bccb281afe89c8e3093c1e64df6ec4b9898 pkgname = abella @@ -1,6 +1,6 @@ # Maintainer: Matej Grabovsky <matej.grabovsky at gmail> pkgname=abella -pkgver=2.0.5 +pkgver=2.0.6 pkgrel=1 pkgdesc='Interactive theorem prover' arch=('i686' 'x86_64') @@ -8,7 +8,7 @@ license=('GPL3') url='http://abella-prover.org/' makedepends=('ocaml') source=("${pkgname}::http://abella-prover.org/distributions/abella-${pkgver}.tar.gz") -sha256sums=('20b23594f66a69ceaddda9a488a1d42d135aadd7b33d9fced3c7a76be4253e2f') +sha256sums=('d1f793b1e34f3adcaf6d28e2c0274bccb281afe89c8e3093c1e64df6ec4b9898') build() { cd "$srcdir/$pkgname-$pkgver" |