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