Maven Repository: org.aya-prover.upstream » javacs-protocol

Javacs Protocol » 0.0.27

Upstream dependencies with JPMS support

License	Apache 2.0
Tags	protocol
HomePage	https://www.aya-prover.org
Date	Aug 15, 2024
Files	pom (2 KB) jar (69 KB) View All
Repositories	Central
Ranking	#171361 in MvnRepository (See Top Artifacts)
Used By	2 artifacts

License

Apache 2.0

Tags

protocol

HomePage

https://www.aya-prover.org

Date

Aug 15, 2024

Files

pom (2 KB) jar (69 KB) View All

Repositories

Central

Ranking

#171361 in MvnRepository (See Top Artifacts)

Used By

2 artifacts

Maven
Gradle
Gradle (Short)
Gradle (Kotlin)
SBT
Ivy
Grape
Leiningen
Buildr

<!-- https://mvnrepository.com/artifact/org.aya-prover.upstream/javacs-protocol -->
<dependency>
    <groupId>org.aya-prover.upstream</groupId>
    <artifactId>javacs-protocol</artifactId>
    <version>0.0.27</version>
</dependency>

// https://mvnrepository.com/artifact/org.aya-prover.upstream/javacs-protocol
implementation group: 'org.aya-prover.upstream', name: 'javacs-protocol', version: '0.0.27'

// https://mvnrepository.com/artifact/org.aya-prover.upstream/javacs-protocol
implementation 'org.aya-prover.upstream:javacs-protocol:0.0.27'

// https://mvnrepository.com/artifact/org.aya-prover.upstream/javacs-protocol
implementation("org.aya-prover.upstream:javacs-protocol:0.0.27")

// https://mvnrepository.com/artifact/org.aya-prover.upstream/javacs-protocol
libraryDependencies += "org.aya-prover.upstream" % "javacs-protocol" % "0.0.27"

<!-- https://mvnrepository.com/artifact/org.aya-prover.upstream/javacs-protocol -->
<dependency org="org.aya-prover.upstream" name="javacs-protocol" rev="0.0.27"/>

// https://mvnrepository.com/artifact/org.aya-prover.upstream/javacs-protocol
@Grapes(
    @Grab(group='org.aya-prover.upstream', module='javacs-protocol', version='0.0.27')
)

;; https://mvnrepository.com/artifact/org.aya-prover.upstream/javacs-protocol
[org.aya-prover.upstream/javacs-protocol "0.0.27"]

# https://mvnrepository.com/artifact/org.aya-prover.upstream/javacs-protocol
'org.aya-prover.upstream:javacs-protocol:jar:0.0.27'

Include comment with link to declaration

Compile Dependencies (3)

Category/License	Group / Artifact	Version	Updates
JSON Lib Apache 2.0	com.google.code.gson » gson	2.10.1	2.11.0
Apache 2.0	org.glavo.kala » kala-common	0.74.0	✔
Defect Detection Apache 2.0	org.jetbrains » annotations	24.1.0	26.0.0