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