ProB Java API BOM (Bill of Materials) for improved version management when depending on multiple parts of the ProB Java API
Version4.16.0compared with
Version Details
| 4.15.1 | 4.16.0 | |
|---|---|---|
| Release date | Jan 16, 2026 | Aug 07, 2026 |
| Licenses | EPL 1.0 | EPL 1.0 |
| Vulnerabilities | None | None |
Managed Changes (3)
| 4.15.1 | 4.16.0 | ||
|---|---|---|---|
| Change | Group / Artifact | Previous | Current |
| ~ Updated | de.hhu.stups » de.prob2.commandline | 4.15.1 | 4.16.0 |
| ~ Updated | de.hhu.stups » de.prob2.kernel | 4.15.1 | 4.16.0 |
| ~ Updated | de.hhu.stups » prob-java | 4.15.1 | 4.16.0 |