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

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

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

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

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

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

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

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