<dependency>
  <groupId>io.hotmoka</groupId>
  <artifactId>io-takamaka-code</artifactId>
  <version>1.3.0</version>
</dependency>

implementation 'io.hotmoka:io-takamaka-code:1.3.0'

implementation("io.hotmoka:io-takamaka-code:1.3.0")

libraryDependencies += "io.hotmoka" % "io-takamaka-code" % "1.3.0"

@Grapes(
  @Grab(group='io.hotmoka', module='io-takamaka-code', version='1.3.0')
)

<dependency org="io.hotmoka" name="io-takamaka-code" rev="1.3.0" />

[io.hotmoka/io-takamaka-code "1.3.0"]

'io.hotmoka:io-takamaka-code:jar:1.3.0'