ProB Java API BOM (Bill of Materials) for improved version management when depending on multiple parts of the ProB Java API
Version4.13.1compared with
Version Details
| 4.13.0 | 4.13.1 | |
|---|---|---|
| Release date | Feb 29, 2024 | Mar 25, 2024 |
| Licenses | EPL 1.0 | EPL 1.0 |
| Vulnerabilities | None | None |
Managed Changes (3)
| 4.13.0 | 4.13.1 | ||
|---|---|---|---|
| Change | Group / Artifact | Previous | Current |
| ~ Updated | de.hhu.stups » de.prob2.commandline | 4.13.0 | 4.13.1 |
| ~ Updated | de.hhu.stups » de.prob2.kernel | 4.13.0 | 4.13.1 |
| ~ Updated | de.hhu.stups » prob-java | 4.13.0 | 4.13.1 |