diff options
author | Joey Hess <joey@kitenet.net> | 2013-03-29 11:37:25 -0400 |
---|---|---|
committer | Joey Hess <joey@kitenet.net> | 2013-03-29 11:37:25 -0400 |
commit | 987b11fdf42b58a92d817131c416edbdbcb94297 (patch) | |
tree | 2ddd0165bd365d6428e3eb8707e8b7b7aa0f5942 /debian/control | |
parent | 3eaa9079161d010b330791581a74fc5de3701e25 (diff) |
Build debian package without using cabal, which writes to HOME. Closes: #704205
Diffstat (limited to 'debian/control')
-rw-r--r-- | debian/control | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/debian/control b/debian/control index be65a3973..c8a15ed80 100644 --- a/debian/control +++ b/debian/control @@ -4,7 +4,6 @@ Priority: optional Build-Depends: debhelper (>= 9), ghc (>= 7.4), - cabal-install, libghc-mtl-dev (>= 2.1.1), libghc-missingh-dev, libghc-hslogger-dev, |