jedit-doc

Package jedit-doc
Version 5.7.0-r0
Description Programming text editor (docs)
Project https://jedit.org
License GPL-2.0-or-later
Repository main
Architecture aarch64
Size 220 KiB
Installed size 1928 KiB
Origin jedit
Required by
Required by (1)
Install if
Install if (2)
  • base-doc
  • jedit=5.7.0-r0
Subpackages
Subpackages (3)
Build time 2024-08-29 23:03:49
Commit 17138964de856327f36e2a3cf528e9b74ad026ac
Git repository Git repository
Build log Build log
Contents Contents of package