Home » org.key-project » key.core.example » 2.12.3 » Changes

Key Core Example » 2.12.3

Example project to use KeY's APIs
Version2.12.3compared with

Version Details

2.12.2 2.12.3
Release dateDec 16, 2023Nov 07, 2024
LicensesGPL 2.0GPL 2.0
VulnerabilitiesNoneNone

Runtime Changes (3)

2.12.2 2.12.3
ChangeGroup / ArtifactPreviousCurrent
~ Updated org.key-project » key.core2.12.22.12.3
~ Updated org.slf4j » slf4j-api2.0.72.0.16
- Removed com.google.code.findbugs » jsr3053.0.2-