Package: release.debian.org Tags: jessie User: release.debian.org@packages.debian.org Usertag: rm openjdk-7 no longer builds openjdk-7-jre-zero on arm64. Cheers, Julien