Package: derby-tools Source: derby Priority: optional Section: universe/java Installed-Size: 263 Maintainer: Ubuntu Developers Architecture: all Version: 10.14.2.0-3build1 Depends: default-jre | java6-runtime-headless, java-wrappers, libderby-java, libderbyclient-java Filename: pool/universe/d/derby/derby-tools_10.14.2.0-3build1_all.deb Size: 218496 SHA512: 3785e3f101300c6b6b11221b3e83a6ad47a0ab9a3f3064b9b95358a53782b1570f648b0bf50eb131e615b0ed5fe457d4d20da837e08928f52fb38b40baf38043 Homepage: https://db.apache.org/derby/ Description: Apache Derby Tools Description-md5: 6f93cf893a9a9c85d95ea8d7506808e2 Original-Maintainer: Debian Java Maintainers Origin: Ubuntu Bugs: https://bugs.launchpad.net/ubuntu/+filebug