Group: org.aya-prover.upstream - All Dependencies
ij-parsing-core
0.0.18
ij-parsing-core · Upstream dependencies with JPMS support
javacs-protocol
0.0.18
javacs-protocol · Upstream dependencies with JPMS support
build-util-jflex
0.0.18
build-util-jflex · Upstream dependencies with JPMS support
ij-parsing-wrapper
0.0.18
ij-parsing-wrapper · Upstream dependencies with JPMS support