diff options
author | Andrej Shadura <andrew.shadura@collabora.co.uk> | 2020-03-10 18:10:32 +0100 |
---|---|---|
committer | Andrej Shadura <andrew.shadura@collabora.co.uk> | 2020-03-10 18:49:38 +0100 |
commit | 722e7d87fde621391b5368b00c1bb3ca92fa8ce1 (patch) | |
tree | 2a21735460b9f3c4b52941f221807d61fa201b7c | |
parent | 16b141eebd21209d64beeddc8e58bf988cdca331 (diff) |
Depend on default-jre-headless instead of default-jre
Closes: #927340
-rw-r--r-- | debian/control | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/debian/control b/debian/control index 8a9a022..ee46f46 100644 --- a/debian/control +++ b/debian/control @@ -8,6 +8,7 @@ Build-Depends: javacc, debhelper (>= 9), default-jdk, + ditaa, libfop-java, libbatik-java Standards-Version: 4.1.5 @@ -19,7 +20,8 @@ Package: plantuml Architecture: all Depends: ${misc:Depends}, - default-jre, + default-jre-headless, + ditaa, libfop-java, libbatik-java, libjlatexmath-java, |