<dependency>
  <groupId>io.hotmoka</groupId>
  <artifactId>io-hotmoka-patricia</artifactId>
  <version>1.5.0</version>
</dependency>

implementation 'io.hotmoka:io-hotmoka-patricia:1.5.0'

implementation("io.hotmoka:io-hotmoka-patricia:1.5.0")

libraryDependencies += "io.hotmoka" % "io-hotmoka-patricia" % "1.5.0"

@Grapes(
  @Grab(group='io.hotmoka', module='io-hotmoka-patricia', version='1.5.0')
)

<dependency org="io.hotmoka" name="io-hotmoka-patricia" rev="1.5.0" />

[io.hotmoka/io-hotmoka-patricia "1.5.0"]

'io.hotmoka:io-hotmoka-patricia:jar:1.5.0'