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