1 files changed, 3 insertions, 3 deletions
diff --git a/PKGBUILD b/PKGBUILD
index 9a6b427b420b..ea33cc62266a 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,14 +1,14 @@
 # Maintainer: Matej Grabovsky <matej.grabovsky at gmail>
 pkgname=abella
-pkgver=2.0.3
+pkgver=2.0.4
 pkgrel=1
 pkgdesc='Interactive theorem prover'
 arch=('i686' 'x86_64')
 license=('GPL3')
 url='http://abella-prover.org/'
-depends=('ocaml')
+makedepends=('ocaml')
 source=("${pkgname}::http://abella-prover.org/distributions/abella-${pkgver}.tar.gz")
-sha256sums=('db808ea999f09a3e920c14e1e3bd856683741114cdef3bdbc76fa05f33995a29')
+sha256sums=('4c70180962f7e56e66ebce3c20755f54554e7ceab593acf13cfff1efa964ccc2')
 
 build() {
     cd "$srcdir/$pkgname-$pkgver"