diff options
author | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2018-03-30 10:38:25 +0200 |
---|---|---|
committer | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2018-03-30 10:38:25 +0200 |
commit | 36287ef1d6a6b93fcdda3e7ca5980c19d2856e81 (patch) | |
tree | ecbf664501c94406d2ca78d03c2b668c42d9811d /debian/control | |
parent | 6e0aea8e3f4f045890ac78233c6a66acdbd23b05 (diff) |
Switch from openjdk-8-jre to default-jre (Closes: #894355)
Diffstat (limited to 'debian/control')
-rw-r--r-- | debian/control | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/control b/debian/control index bd0f649..ea77c77 100644 --- a/debian/control +++ b/debian/control @@ -7,7 +7,7 @@ Build-Depends: debhelper (>= 10), scons (>= 3.0) Build-Depends-Indep: - openjdk-8-jre, + default-jre, docbook-utils, docbook-xml, fop, |