diff options
| author | Julian Andres Klode <jak@debian.org> | 2017-06-28 19:15:41 +0200 |
|---|---|---|
| committer | Julian Andres Klode <jak@debian.org> | 2017-06-28 19:15:41 +0200 |
| commit | 11c3624ce3575076ca52350f66d4bd2e63db5d73 (patch) | |
| tree | 5bdd7020c8d42e9bb502fb0bbb4c3dc85450d446 /debian | |
| parent | 930e2df52dc637039c1845905d79ce525faeb8ca (diff) | |
| parent | 147ac0fc90d972a11f5e91521ba3d385015b5945 (diff) | |
Merge branch 'feature/http-https'
Diffstat (limited to 'debian')
| -rw-r--r-- | debian/control | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/debian/control b/debian/control index 96bbef348..04c44eb93 100644 --- a/debian/control +++ b/debian/control @@ -14,6 +14,7 @@ Build-Depends: cmake (>= 3.4), dpkg-dev (>= 1.17.14), gettext (>= 0.12), libbz2-dev, + libgnutls28-dev (>= 3.4.6), libcurl4-gnutls-dev (>= 7.19.4~), libdb-dev, googletest <!nocheck> | libgtest-dev <!nocheck>, |