Download javacs-protocol JAR file with all dependencies
javacs-protocol from group org.aya-prover.upstream (version 0.0.27)
Upstream dependencies with JPMS support
Group: org.aya-prover.upstream Artifact: javacs-protocol
Show all versions Show documentation Show source
Show all versions Show documentation Show source
0 downloads
Artifact javacs-protocol
Group org.aya-prover.upstream
Version 0.0.27
Last update 15. August 2024
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.27
Last update 15. August 2024
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 1 from 1 (items total 1)