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)
|
Subpackages | |
Build time | 2024-08-29 23:03:49 |
Commit | 17138964de856327f36e2a3cf528e9b74ad026ac |
Git repository | Git repository |
Build log | Build log |
Contents | Contents of package |