<dependency>
<groupId>io.hotmoka</groupId>
<artifactId>io-hotmoka-verification</artifactId>
<version>1.0.5</version>
</dependency>
@Grapes(
@Grab(group='io.hotmoka', module='io-hotmoka-verification', version='1.0.5')
)