Version0.29.2compared with
Version Details
| 0.29.1 | 0.29.2 | |
|---|---|---|
| Release date | Jun 01, 2023 | Nov 08, 2023 |
| Licenses | MIT | MIT |
| Vulnerabilities | None | None |
Compile Changes (2)
| 0.29.1 | 0.29.2 | ||
|---|---|---|---|
| Change | Group / Artifact | Previous | Current |
| ~ Updated | org.aya-prover » base | 0.29.1 | 0.29.2 |
| ~ Updated | org.aya-prover » parser | 0.29.1 | 0.29.2 |