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)