<dependency>
  <groupId>org.aya-prover.upstream</groupId>
  <artifactId>javacs-protocol</artifactId>
  <version>0.0.7</version>
</dependency>

implementation 'org.aya-prover.upstream:javacs-protocol:0.0.7'

implementation("org.aya-prover.upstream:javacs-protocol:0.0.7")

libraryDependencies += "org.aya-prover.upstream" % "javacs-protocol" % "0.0.7"

@Grapes(
  @Grab(group='org.aya-prover.upstream', module='javacs-protocol', version='0.0.7')
)

<dependency org="org.aya-prover.upstream" name="javacs-protocol" rev="0.0.7" />

[org.aya-prover.upstream/javacs-protocol "0.0.7"]

'org.aya-prover.upstream:javacs-protocol:jar:0.0.7'