Download all versions of javacs-protocol JAR files with all dependencies
javacs-protocol from group org.aya-prover.upstream (version 0.0.23)
Upstream dependencies with JPMS support
Artifact javacs-protocol
Group org.aya-prover.upstream
Version 0.0.23
Last update 14. May 2024
Tags: with upstream jpms support dependencies
Organization not specified
URL https://www.aya-prover.org
License Apache-2.0
Dependencies amount 3
Dependencies annotations, kala-common, gson,
There are maybe transitive dependencies!
Group org.aya-prover.upstream
Version 0.0.23
Last update 14. May 2024
Tags: with upstream jpms support dependencies
Organization not specified
URL https://www.aya-prover.org
License Apache-2.0
Dependencies amount 3
Dependencies annotations, kala-common, gson,
There are maybe transitive dependencies!
javacs-protocol from group org.aya-prover.upstream (version 0.0.22)
Upstream dependencies with JPMS support
Artifact javacs-protocol
Group org.aya-prover.upstream
Version 0.0.22
Last update 23. April 2024
Tags: with upstream jpms support dependencies
Organization not specified
URL https://www.aya-prover.org
License Apache-2.0
Dependencies amount 3
Dependencies annotations, kala-common, gson,
There are maybe transitive dependencies!
Group org.aya-prover.upstream
Version 0.0.22
Last update 23. April 2024
Tags: with upstream jpms support dependencies
Organization not specified
URL https://www.aya-prover.org
License Apache-2.0
Dependencies amount 3
Dependencies annotations, kala-common, gson,
There are maybe transitive dependencies!
javacs-protocol from group org.aya-prover.upstream (version 0.0.21)
Upstream dependencies with JPMS support
Artifact javacs-protocol
Group org.aya-prover.upstream
Version 0.0.21
Last update 13. December 2023
Tags: with upstream jpms support dependencies
Organization not specified
URL https://www.aya-prover.org
License Apache-2.0
Dependencies amount 3
Dependencies annotations, kala-common, gson,
There are maybe transitive dependencies!
Group org.aya-prover.upstream
Version 0.0.21
Last update 13. December 2023
Tags: with upstream jpms support dependencies
Organization not specified
URL https://www.aya-prover.org
License Apache-2.0
Dependencies amount 3
Dependencies annotations, kala-common, gson,
There are maybe transitive dependencies!
javacs-protocol from group org.aya-prover.upstream (version 0.0.20)
Upstream dependencies with JPMS support
Artifact javacs-protocol
Group org.aya-prover.upstream
Version 0.0.20
Last update 04. November 2023
Tags: with upstream jpms support dependencies
Organization not specified
URL https://www.aya-prover.org
License Apache-2.0
Dependencies amount 3
Dependencies annotations, kala-common, gson,
There are maybe transitive dependencies!
Group org.aya-prover.upstream
Version 0.0.20
Last update 04. November 2023
Tags: with upstream jpms support dependencies
Organization not specified
URL https://www.aya-prover.org
License Apache-2.0
Dependencies amount 3
Dependencies annotations, kala-common, gson,
There are maybe transitive dependencies!
javacs-protocol from group org.aya-prover.upstream (version 0.0.19)
Upstream dependencies with JPMS support
Artifact javacs-protocol
Group org.aya-prover.upstream
Version 0.0.19
Last update 08. October 2023
Tags: with upstream jpms support dependencies
Organization not specified
URL https://www.aya-prover.org
License Apache-2.0
Dependencies amount 3
Dependencies annotations, kala-common, gson,
There are maybe transitive dependencies!
Group org.aya-prover.upstream
Version 0.0.19
Last update 08. October 2023
Tags: with upstream jpms support dependencies
Organization not specified
URL https://www.aya-prover.org
License Apache-2.0
Dependencies amount 3
Dependencies annotations, kala-common, gson,
There are maybe transitive dependencies!
javacs-protocol from group org.aya-prover.upstream (version 0.0.18)
Upstream dependencies with JPMS support
Artifact javacs-protocol
Group org.aya-prover.upstream
Version 0.0.18
Last update 11. August 2023
Tags: with upstream jpms support dependencies
Organization not specified
URL https://www.aya-prover.org
License Apache-2.0
Dependencies amount 3
Dependencies annotations, kala-common, gson,
There are maybe transitive dependencies!
Group org.aya-prover.upstream
Version 0.0.18
Last update 11. August 2023
Tags: with upstream jpms support dependencies
Organization not specified
URL https://www.aya-prover.org
License Apache-2.0
Dependencies amount 3
Dependencies annotations, kala-common, gson,
There are maybe transitive dependencies!
javacs-protocol from group org.aya-prover.upstream (version 0.0.17)
Upstream dependencies with JPMS support
Artifact javacs-protocol
Group org.aya-prover.upstream
Version 0.0.17
Last update 07. June 2023
Tags: with upstream jpms support dependencies
Organization not specified
URL https://www.aya-prover.org
License Apache-2.0
Dependencies amount 3
Dependencies annotations, kala-common, gson,
There are maybe transitive dependencies!
Group org.aya-prover.upstream
Version 0.0.17
Last update 07. June 2023
Tags: with upstream jpms support dependencies
Organization not specified
URL https://www.aya-prover.org
License Apache-2.0
Dependencies amount 3
Dependencies annotations, kala-common, gson,
There are maybe transitive dependencies!
javacs-protocol from group org.aya-prover.upstream (version 0.0.16)
Upstream dependencies with JPMS support
Artifact javacs-protocol
Group org.aya-prover.upstream
Version 0.0.16
Last update 07. June 2023
Tags: with upstream jpms support dependencies
Organization not specified
URL https://www.aya-prover.org
License Apache-2.0
Dependencies amount 3
Dependencies annotations, kala-common, gson,
There are maybe transitive dependencies!
Group org.aya-prover.upstream
Version 0.0.16
Last update 07. June 2023
Tags: with upstream jpms support dependencies
Organization not specified
URL https://www.aya-prover.org
License Apache-2.0
Dependencies amount 3
Dependencies annotations, kala-common, gson,
There are maybe transitive dependencies!
javacs-protocol from group org.aya-prover.upstream (version 0.0.15)
Upstream dependencies with JPMS support
Artifact javacs-protocol
Group org.aya-prover.upstream
Version 0.0.15
Last update 05. June 2023
Tags: with upstream jpms support dependencies
Organization not specified
URL https://www.aya-prover.org
License Apache-2.0
Dependencies amount 3
Dependencies annotations, kala-common, gson,
There are maybe transitive dependencies!
Group org.aya-prover.upstream
Version 0.0.15
Last update 05. June 2023
Tags: with upstream jpms support dependencies
Organization not specified
URL https://www.aya-prover.org
License Apache-2.0
Dependencies amount 3
Dependencies annotations, kala-common, gson,
There are maybe transitive dependencies!
javacs-protocol from group org.aya-prover.upstream (version 0.0.14)
Upstream dependencies with JPMS support
Artifact javacs-protocol
Group org.aya-prover.upstream
Version 0.0.14
Last update 05. May 2023
Tags: with upstream jpms support dependencies
Organization not specified
URL https://www.aya-prover.org
License Apache-2.0
Dependencies amount 3
Dependencies annotations, kala-common, gson,
There are maybe transitive dependencies!
Group org.aya-prover.upstream
Version 0.0.14
Last update 05. May 2023
Tags: with upstream jpms support dependencies
Organization not specified
URL https://www.aya-prover.org
License Apache-2.0
Dependencies amount 3
Dependencies annotations, kala-common, gson,
There are maybe transitive dependencies!
Page 2 from 3 (items total 30)
© 2015 - 2025 Weber Informatics LLC | Privacy Policy