1 files changed, 2 insertions, 2 deletions
diff --git a/PKGBUILD b/PKGBUILD
index 3bbe5c6e5765..18f9db118508 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -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"