Applicabilities Pseudo Clauses.
Version0.21.0compared with

Version Details

Compile Changes (2)

Test Changes (1)

0.20-0 0.21.0
ChangeGroup / ArtifactPreviousCurrent
~ Updated com.gitlab.cdc-java.applic » cdc-applic-proofs-core0.20-00.21.0