Package: libjpfcodegen-java Priority: extra Section: universe/java Installed-Size: 253 Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: Debian Java Maintainers <pkg-java-maintainers@lists.alioth.debian.org> Architecture: all Version: 0.4+dfsg1-1 Filename: pool/universe/libj/libjpfcodegen-java/libjpfcodegen-java_0.4+dfsg1-1_all.deb Size: 65736 MD5sum: a6cb11307e9284f0fb09f66a368370e3 SHA1: 13d71bd4bc09b20868a7cc8f9d39f62fd4bed617 SHA256: 5870adbedd6af5cb3483f8bc80641f734bbf37f85046050259094a7ede228e3f 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