<dependency>
<groupId>io.takamaka.crypto</groupId>
<artifactId>TKMSecurityProvider</artifactId>
<version>1.0</version>
</dependency>
@Grapes(
@Grab(group='io.takamaka.crypto', module='TKMSecurityProvider', version='1.0')
)