Package: jedit
Architecture: all
Version: 5.5.0+dfsg-1
Priority: optional
Section: universe/editors
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian Java Maintainers <pkg-java-maintainers@lists.alioth.debian.org>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 11197
Pre-Depends: dpkg (>= 1.15.6~)
Depends: java-wrappers (>= 0.1.14), default-jre (>= 2:1.7) | java7-runtime
Filename: pool/universe/j/jedit/jedit_5.5.0+dfsg-1_all.deb
Size: 2348244
MD5sum: 8799bc4ed4f13b766ceb122f65820203
SHA1: 07614a9befdce7ad5a46573ae99e9534dbce189d
SHA256: d2c556899d1451d74a6d006861bb524ccb3d87c8196cee0d7a83eee9d69192d1
Homepage: http://www.jedit.org/
Description: Plugin-based editor for programmers
Description-md5: eb137161fe733c50e24507a41acb14ce