Version0.22compared with
Version Details
| 0.21 | 0.22 | |
|---|---|---|
| Release date | Sep 26, 2022 | Oct 16, 2022 |
| Licenses | MIT | MIT |
| Vulnerabilities | None | None |
Compile Changes (3)
| 0.21 | 0.22 | ||
|---|---|---|---|
| Change | Group / Artifact | Previous | Current |
| + Added | org.aya-prover.upstream » ij-parsing-core | - | 0.0.7 |
| + Added | org.jetbrains » annotations | - | 23.0.0 |
| - Removed | org.antlr » antlr4-runtime | 4.10.1 | - |