Update to 2.0.5

2 files changed, 6 insertions, 6 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 3970371d25c5..64f3122ebd2d 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,16 +1,16 @@
 # Generated by mksrcinfo v8
-# Mon Oct 17 14:08:53 UTC 2016
+# Wed Oct  3 16:12:48 UTC 2018
 pkgbase = abella
 	pkgdesc = Interactive theorem prover
-	pkgver = 2.0.4
+	pkgver = 2.0.5
 	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.4.tar.gz
-	sha256sums = 4c70180962f7e56e66ebce3c20755f54554e7ceab593acf13cfff1efa964ccc2
+	source = abella::http://abella-prover.org/distributions/abella-2.0.5.tar.gz
+	sha256sums = 20b23594f66a69ceaddda9a488a1d42d135aadd7b33d9fced3c7a76be4253e2f
 
 pkgname = abella
 
diff --git a/PKGBUILD b/PKGBUILD
index ea33cc62266a..3bbe5c6e5765 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,6 +1,6 @@
 # Maintainer: Matej Grabovsky <matej.grabovsky at gmail>
 pkgname=abella
-pkgver=2.0.4
+pkgver=2.0.5
 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=('4c70180962f7e56e66ebce3c20755f54554e7ceab593acf13cfff1efa964ccc2')
+sha256sums=('20b23594f66a69ceaddda9a488a1d42d135aadd7b33d9fced3c7a76be4253e2f')
 
 build() {
     cd "$srcdir/$pkgname-$pkgver"