| Port: | editors/jedit |
|---|---|
| Maintainer: | [email protected] |
| URLs: | FreshPorts |
| port | version | build environment | category | date | urls |
|---|---|---|---|---|---|
| editors/jedit | 5.6.0_1,1 | main-arm64-default | stage | 2024-02-28 01:25 | log report build queue |
| editors/jedit | 5.6.0_1,1 | 140amd64-default | stage | 2024-02-28 01:21 | log report build queue |