io.hotmoka : io-hotmoka-websockets

<!-- https://mavenlibs.com/maven/pom/io.hotmoka/io-hotmoka-websockets --><dependency>
    <groupId>io.hotmoka</groupId>
    <artifactId>io-hotmoka-websockets</artifactId>
    <version>parent</version>
</dependency>

// https://mavenlibs.com/maven/pom/io.hotmoka/io-hotmoka-websocketsimplementation group: 'io.hotmoka', name: 'io-hotmoka-websockets', version: 'parent'

// https://mavenlibs.com/maven/pom/io.hotmoka/io-hotmoka-websocketsimplementation 'io.hotmoka:io-hotmoka-websockets:parent'

// https://mavenlibs.com/maven/pom/io.hotmoka/io-hotmoka-websocketsimplementation("io.hotmoka:io-hotmoka-websockets:parent")

// https://mavenlibs.com/maven/pom/io.hotmoka/io-hotmoka-websocketslibraryDependencies += "io.hotmoka" % "io-hotmoka-websockets" % "parent"

<!-- https://mavenlibs.com/maven/pom/io.hotmoka/io-hotmoka-websockets --><dependency org="io.hotmoka" name="io-hotmoka-websockets" rev="parent"/>

// https://mavenlibs.com/maven/pom/io.hotmoka/io-hotmoka-websockets@Grapes(
    @Grab(group='io.hotmoka', module='io-hotmoka-websockets', version='parent')
)

;; https://mavenlibs.com/maven/pom/io.hotmoka/io-hotmoka-websockets[io.hotmoka/io-hotmoka-websockets "parent"]

# https://mavenlibs.com/maven/pom/io.hotmoka/io-hotmoka-websockets'io.hotmoka:io-hotmoka-websockets:jar:parent'