<dependency>
  <groupId>io.hotmoka</groupId>
  <artifactId>io-hotmoka-constants</artifactId>
  <version>1.4.2</version>
</dependency>

implementation 'io.hotmoka:io-hotmoka-constants:1.4.2'

implementation("io.hotmoka:io-hotmoka-constants:1.4.2")

libraryDependencies += "io.hotmoka" % "io-hotmoka-constants" % "1.4.2"

@Grapes(
  @Grab(group='io.hotmoka', module='io-hotmoka-constants', version='1.4.2')
)

<dependency org="io.hotmoka" name="io-hotmoka-constants" rev="1.4.2" />

[io.hotmoka/io-hotmoka-constants "1.4.2"]

'io.hotmoka:io-hotmoka-constants:jar:1.4.2'