jedit 5.6.0-1
Architecture: | any |
---|---|
Repository: | Community |
Description: | Editor for programmers |
Upstream URL: | http://jedit.org/ |
License(s): | GPL |
Maintainers: | Orphan |
Package Size: | 3.3 MB |
Installed Size: | 31.3 MB |
Last Packager: | Antonio Rojas |
Build Date: | 2020-09-19 16:53 UTC |
Signed By: | Antonio Rojas |
Signature Date: | 2020-09-19 16:55 UTC |
Last Updated: | 2020-09-19 16:57 UTC |
Dependencies (4)
- java-runtime>=8 (jre8-openjdk, jre-openjdk, jre11-openjdk)
- java-environment (jdk7-openjdk, jdk8-openjdk, jdk-openjdk, jdk11-openjdk) (optional) - for java development
- noto-fonts (optional) - a usable font
- gendesk (make)