From c1c096c7a5d86788f3e3816578064b95c0c7ac65 Mon Sep 17 00:00:00 2001 From: Joey Hess Date: Wed, 3 Dec 2014 19:21:29 -0400 Subject: [PATCH] update for debian jessie, which has libgnutls28-dev, not libgnutls-dev --- standalone/android/buildchroot-inchroot | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/standalone/android/buildchroot-inchroot b/standalone/android/buildchroot-inchroot index 8300999b54..69653b7585 100755 --- a/standalone/android/buildchroot-inchroot +++ b/standalone/android/buildchroot-inchroot @@ -16,7 +16,7 @@ apt-get -y install build-essential ghc git libncurses5-dev cabal-install apt-get -y install happy alex apt-get -y install llvm-3.4 apt-get -y install ca-certificates curl file m4 autoconf zlib1g-dev -apt-get -y install libgnutls-dev libxml2-dev libgsasl7-dev pkg-config c2hs +apt-get -y install libgnutls28-dev libxml2-dev libgsasl7-dev pkg-config c2hs apt-get -y install ant default-jdk rsync wget gnupg lsof apt-get -y install gettext unzip python apt-get -y install locales automake