io.hotmoka:io-hotmoka-instrumentation 1.0.4

<!-- https://jarcasting.com/artifacts/io.hotmoka/io-hotmoka-instrumentation/ -->
<dependency>
    <groupId>io.hotmoka</groupId>
    <artifactId>io-hotmoka-instrumentation</artifactId>
    <version>1.0.4</version>
</dependency>

// https://jarcasting.com/artifacts/io.hotmoka/io-hotmoka-instrumentation/
implementation 'io.hotmoka:io-hotmoka-instrumentation:1.0.4'

// https://jarcasting.com/artifacts/io.hotmoka/io-hotmoka-instrumentation/
implementation ("io.hotmoka:io-hotmoka-instrumentation:1.0.4")

'io.hotmoka:io-hotmoka-instrumentation:jar:1.0.4'

<dependency org="io.hotmoka" name="io-hotmoka-instrumentation" rev="1.0.4">
  <artifact name="io-hotmoka-instrumentation" type="jar" />
</dependency>

@Grapes(
@Grab(group='io.hotmoka', module='io-hotmoka-instrumentation', version='1.0.4')
)

libraryDependencies += "io.hotmoka" % "io-hotmoka-instrumentation" % "1.0.4"

[io.hotmoka/io-hotmoka-instrumentation "1.0.4"]