1 files changed, 5 insertions, 5 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 6064f9ab6210..3970371d25c5 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,16 +1,16 @@
 # Generated by mksrcinfo v8
-# Fri Apr 22 09:56:32 UTC 2016
+# Mon Oct 17 14:08:53 UTC 2016
 pkgbase = abella
 	pkgdesc = Interactive theorem prover
-	pkgver = 2.0.3
+	pkgver = 2.0.4
 	pkgrel = 1
 	url = http://abella-prover.org/
 	arch = i686
 	arch = x86_64
 	license = GPL3
-	depends = ocaml
-	source = abella::http://abella-prover.org/distributions/abella-2.0.3.tar.gz
-	sha256sums = db808ea999f09a3e920c14e1e3bd856683741114cdef3bdbc76fa05f33995a29
+	makedepends = ocaml
+	source = abella::http://abella-prover.org/distributions/abella-2.0.4.tar.gz
+	sha256sums = 4c70180962f7e56e66ebce3c20755f54554e7ceab593acf13cfff1efa964ccc2
 
 pkgname = abella