1 files changed, 4 insertions, 4 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 64f3122ebd2d..97dc23864e1f 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -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