From 36287ef1d6a6b93fcdda3e7ca5980c19d2856e81 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?J=C3=B6rg=20Frings-F=C3=BCrst?= Date: Fri, 30 Mar 2018 10:38:25 +0200 Subject: Switch from openjdk-8-jre to default-jre (Closes: #894355) --- debian/control | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'debian/control') 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, -- cgit v1.2.3