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 | x86_64 |
Size | 2755 B |
Installed size | 4096 B |
Origin | jedit |
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 |