| 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 | x86_64 |
| 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 |
