summaryrefslogtreecommitdiff
path: root/debian
diff options
context:
space:
mode:
authorGravatar Benjamin Barenblat <bbaren@mit.edu>2015-08-19 11:33:23 -0400
committerGravatar Benjamin Barenblat <bbaren@mit.edu>2015-08-19 11:33:23 -0400
commit2cd97a7d23d4cc528faa97b332ae452b5b4f6017 (patch)
tree90f3126248b208b37fcc6069334b09bdf820d584 /debian
parent6b759fd039b0afd32035e699a29ba008456f8b05 (diff)
Update Build-Depends
Diffstat (limited to 'debian')
-rw-r--r--debian/control4
1 files changed, 3 insertions, 1 deletions
diff --git a/debian/control b/debian/control
index 240bf8d6..f3530e92 100644
--- a/debian/control
+++ b/debian/control
@@ -3,6 +3,7 @@ Section: devel
Priority: extra
Maintainer: Benjamin Barenblat <bbaren@mit.edu>
Build-Depends:
+ curl,
debhelper (>= 9),
dh-autoreconf,
dh-exec,
@@ -10,7 +11,8 @@ Build-Depends:
libpq-dev,
libsqlite3-dev,
libssl-dev,
- mlton
+ mlton,
+ sqlite3
Build-Depends-Indep:
emacs24 | emacsen,
texlive-fonts-recommended,