ProB Java API BOM (Bill of Materials) for improved version management when depending on multiple parts of the ProB Java API
VersionVulnerabilitiesRepositoryUsagesDate
4.15.x
4.15.1Central
0
Jan 16, 2026
4.15.0Central
0
Jun 30, 2025
4.13.x
4.13.1Central
0
Mar 25, 2024
4.13.0Central
0
Feb 29, 2024