Package: default-jre Source: java-common (0.77) Priority: optional Section: interpreters Installed-Size: 6 Maintainer: Ubuntu Developers Architecture: amd64 Version: 2:1.25-77 Provides: java-runtime (= 25) Depends: default-jre-headless (= 2:1.25-77), openjdk-25-jre Filename: pool/main/j/java-common/default-jre_1.25-77_amd64.deb Size: 872 MD5sum: bbb9d39d9fb85f4d5bb3aeda5cd44875 SHA1: 58627718d45c6404ad3075dd6d4df935b87d5ffe SHA256: a899204a4d547ece818bbecfd126173699b347d0664197f75c3811be84efae7e SHA512: a06f1bd28688be658eb633f9ff4271a51ee04fda8671b76bc5dc016da2f2e2cbbecde76ab09d4e0cbdd0a186725ccab2fb48db016cfc18c80081b16c2f2e1000 Homepage: https://wiki.debian.org/Java/ Description: Standard Java or Java compatible Runtime Description-md5: fbd01037f05d77bf48f4a4d9bbee2da3 Original-Maintainer: Debian Java Maintainers Cnf-Extra-Commands: java,jexec Origin: Ubuntu Bugs: https://bugs.launchpad.net/ubuntu/+filebug Task: edubuntu-desktop-gnome, edubuntu-desktop-gnome-raspi