Download all versions of lang-syntax JAR files with all dependencies
lang-syntax from group org.aya-prover.upstream (version 0.0.27)
Upstream dependencies with JPMS support
Artifact lang-syntax
Group org.aya-prover.upstream
Version 0.0.27
Last update 15. August 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.27
Last update 15. August 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!
lang-syntax from group org.aya-prover.upstream (version 0.0.26)
Upstream dependencies with JPMS support
Artifact lang-syntax
Group org.aya-prover.upstream
Version 0.0.26
Last update 29. June 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.26
Last update 29. June 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 2)