Download lang-syntax JAR file with all dependencies
lang-syntax from group org.aya-prover.upstream (version 0.0.32)
Upstream dependencies with JPMS support
Artifact lang-syntax
Group org.aya-prover.upstream
Version 0.0.32
Last update 18. December 2024
Tags: with upstream jpms support dependencies
Organization not specified
URL https://www.aya-prover.org
License Apache-2.0
Dependencies amount 1
Dependencies kotlin-stdlib,
There are maybe transitive dependencies!
Group org.aya-prover.upstream
Version 0.0.32
Last update 18. December 2024
Tags: with upstream jpms support dependencies
Organization not specified
URL https://www.aya-prover.org
License Apache-2.0
Dependencies amount 1
Dependencies kotlin-stdlib,
There are maybe transitive dependencies!
Page 1 from 1 (items total 1)
© 2015 - 2025 Weber Informatics LLC | Privacy Policy