Package: jedit
Architecture: all
Version: 5.5.0+dfsg-2
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: 11198
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-2_all.deb
Size: 2347932
MD5sum: 517a65e97d3fafafb3f576d139f2780a
SHA1: 3989340efeba75c6f8724079a28bc05ce77595b4
SHA256: 88e3dca2c40ab8bdc2a7461533b4d29eaade77616a048586a2bde96e42f3bdf8
SHA512: cbc9530a0dcab0bc26bf645263d041e3bea1ce973c70896ef7a34d04655bbd3986da0726d6d99adadc36e4d68d4e08dc1d82dea7e1701a07774098bc58d3983b
Homepage: http://www.jedit.org/
Description: Plugin-based editor for programmers
Description-md5: eb137161fe733c50e24507a41acb14ce