Package: openjdk-7-jre
Version: 7~b147-2.0~pre4-1
Severity: normal
openjdk-7-jre{,-headless} should provide java7-runtime{,-headless},
similar to the existing provides.-- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
