Package: jedit
Priority: optional
Section: universe/editors
Installed-Size: 11214
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: all
Version: 5.5.0+dfsg-2build1
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.5.0+dfsg-2build1_all.deb
Size: 2503742
MD5sum: 5ae0677bb8e9ca9cfc6212dcfc83b30f
SHA1: 0ac0bf7436b407f129e80c16a6dddf249613c7e1
SHA256: 690c8ed10d3f7ff410215a07a22ec7abe3cbd6eb599f21ef2da19ae74624ab49
SHA512: 1e87e4432585285250db94a7957f2c9914a848c0478af1e7b635fc7de1cd0b71a2f29178996b3dd890ed5865dc37774b6e6edf216320162bdbf07068254715f8
Homepage: http://www.jedit.org/
Description: Plugin-based editor for programmers
Description-md5: eb137161fe733c50e24507a41acb14ce
Original-Maintainer: Debian Java Maintainers <pkg-java-maintainers@lists.alioth.debian.org>
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug