jedit-man

Package jedit-man
Version 5.7.0-r0
Description Programming text editor (manual pages)
Project https://jedit.org
License GPL-2.0-or-later
Repository main
Architecture aarch64
Size 2777 B
Installed size 4096 B
Origin jedit
Install if
Install if (2)
  • base-man
  • 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