Format: 1.8 Date: Wed, 17 Jul 2019 17:04:51 +0200 Source: openjdk-12 Binary: openjdk-12-jdk-headless openjdk-12-jre-headless openjdk-12-jdk openjdk-12-jre openjdk-12-demo openjdk-12-source openjdk-12-doc openjdk-12-dbg openjdk-12-jre-zero Architecture: source Version: 12.0.2+9-1~12.04 Distribution: precise Urgency: medium Maintainer: OpenJDK Team Changed-By: Matthias Klose Description: openjdk-12-dbg - Java runtime based on OpenJDK (debugging symbols) openjdk-12-demo - Java runtime based on OpenJDK (demos and examples) openjdk-12-doc - OpenJDK Development Kit (JDK) documentation openjdk-12-jdk - OpenJDK Development Kit (JDK) openjdk-12-jdk-headless - OpenJDK Development Kit (JDK) (headless) openjdk-12-jre - OpenJDK Java runtime, using ${vm:Name} openjdk-12-jre-headless - OpenJDK Java runtime, using ${vm:Name} (headless) openjdk-12-jre-zero - Alternative JVM for OpenJDK, using Zero openjdk-12-source - OpenJDK Development Kit (JDK) source files Changes: openjdk-12 (12.0.2+9-1~12.04) precise; urgency=medium . * PPA upload. Checksums-Sha1: 474e70b4f92475ac8b325b5891137185bbdd8102 3288 openjdk-12_12.0.2+9-1~12.04.dsc 43119f1271e9a873c0841162498faac5001cf665 208220 openjdk-12_12.0.2+9-1~12.04.debian.tar.gz Checksums-Sha256: bfea69ca286be5ebbf1b4315f7cdb5e0061d384dcbfd13ece9ac43020fc559bd 3288 openjdk-12_12.0.2+9-1~12.04.dsc 16380b170d2f05b6e736768e34eab888fb595823e2f49852e4dcc5e03e89dc68 208220 openjdk-12_12.0.2+9-1~12.04.debian.tar.gz Files: 691435ef2fb89ce8d96c2014cc69af2f 3288 java optional openjdk-12_12.0.2+9-1~12.04.dsc 403a7076ae1a7b99ed7e81687add2622 208220 java optional openjdk-12_12.0.2+9-1~12.04.debian.tar.gz