remove unnecessary makedepends

2 files changed, 7 insertions, 5 deletions

diff --git a/.SRCINFO b/.SRCINFO
index ebe458b286bf..5ebdac8371c8 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,11 +1,14 @@
 pkgbase = cryptol-git
 	pkgdesc = A domain-specific language for specifying cryptographic algorithms.
-	pkgver = v2.2.1.r0.g300ed3c
-	pkgrel = 1
+	pkgver = v2.2.4.r456.g9f3d423
+	pkgrel = 2
 	url = http://www.cryptol.net
 	arch = x86_64
 	arch = i686
 	license = BSD
+	makedepends = git
+	makedepends = ghc
+	makedepends = cabal-install>=1.20.0.0
 	depends = cvc4
 	optdepends = boolector: theorem proving
 	optdepends = mathsat-5: theorem proving
diff --git a/PKGBUILD b/PKGBUILD
index 3f13bc2d605c..bf04738fbdac 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -2,13 +2,13 @@
 pkgname=cryptol-git
 _pkgname=cryptol
 
-pkgver=v2.2.1.r0.g300ed3c
+pkgver=v2.2.4.r456.g9f3d423
 pkgver() {
       cd "$_pkgname"
         git describe --long --tags | sed -r 's/([^-]*-g)/r\1/;s/-/./g'
     }
 
-pkgrel=1
+pkgrel=2
 pkgdesc="A domain-specific language for specifying cryptographic algorithms."
 url="http://www.cryptol.net"
 arch=('x86_64' 'i686')
@@ -18,7 +18,6 @@ makedepends=('git' 'ghc' 'cabal-install>=1.20.0.0')
 optdepends=('boolector: theorem proving'
             'mathsat-5: theorem proving'
             'yices-bin: theorem proving')
-makedepends=()
 conflicts=()
 replaces=()
 backup=()