From a23d7abfcca01356e4a617e0abf17d6c1045634c Mon Sep 17 00:00:00 2001
From: Joey Hess <joey@kitenet.net>
Date: Fri, 7 Feb 2014 17:57:04 -0400
Subject: [PATCH] avoid broken version of DAV on android

---
 standalone/android/install-haskell-packages | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

diff --git a/standalone/android/install-haskell-packages b/standalone/android/install-haskell-packages
index df3d492ea6..7dadd72cb0 100755
--- a/standalone/android/install-haskell-packages
+++ b/standalone/android/install-haskell-packages
@@ -27,8 +27,13 @@ cabalinstall () {
 
 patched () {
 	pkg=$1
+	ver=$2
 	shift 1
-	cabal unpack $pkg
+	if [ -z "$ver" ]; then
+		cabal unpack $pkg
+	else
+		cabal unpack $pkg-$ver
+	fi
 	cd $pkg*
 	git init
 	git config user.name dummy
@@ -97,7 +102,7 @@ install_pkgs () {
 	patched shakespeare-text
 	patched process-conduit
 	patched gnuidn
-	patched DAV
+	patched DAV-0.5.1
 	patched yesod-static
 	patched uuid
 	patched dns