Version1.0.0compared with
Version Details
| 1.0.0a0 | 1.0.0 | |
|---|---|---|
| Release date | Oct 20, 2024 | Oct 20, 2024 |
| Licenses | Apache 2.0 | Apache 2.0 |
| Vulnerabilities | None | None |
Runtime Changes (1)
| 1.0.0a0 | 1.0.0 | ||
|---|---|---|---|
| Change | Group / Artifact | Previous | Current |
| ~ Updated | io.github.kverify » kverify-core | 1.0.0a0 | 1.0.0 |