Fix a whitespace error.
It broke the build, see
https://github.com/fpco/stackage/pull/1820#issuecomment-243003558.
commit0ece34c97557c79a99e113559c5c38011c3015b3
authorMikhail Glushenkov <mikhail.glushenkov@gmail.com>
dateSun 28 Aug 2016, 23:49 (10 years ago)
parent2e7db14
debian-bootstrap.sh+1−1
@@ -36,7 +36,7 @@ apt-get install -y \
3636 build-essential \
3737 ghc-$GHCVER \
3838 ghc-$GHCVER-dyn \
39− ghc-$GHCVER-prof \
39+ ghc-$GHCVER-prof \
4040 ghc-$GHCVER-htmldocs \
4141 hscolour \
4242 sudo \