Package: libjpfcodegen-java Priority: extra Section: universe/java Installed-Size: 304 Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: gregor herrmann <gregoa@debian.org> Architecture: all Version: 0.4+dfsg-2 Depends: default-jre-headless | java-runtime-headless Filename: pool/universe/libj/libjpfcodegen-java/libjpfcodegen-java_0.4+dfsg-2_all.deb Size: 87752 MD5sum: 734696c8f45e6bf61210a6c77c93e399 SHA1: b4fbb899d19b7cdc2e54285f2c39df92ff671d10 SHA256: b1ec7cfa1565477919eb3b61014b66f3d0de63173f8e1ec8fa168ea0d5ef288e Description: tool for generating classes from JPF plug-ins Homepage: http://page.mi.fu-berlin.de/oezbek/jpf/ Description-md5: f59af66d45cad70b3a719390643c1e98 Bugs: https://bugs.launchpad.net/ubuntu/+filebug Origin: Ubuntu