<dependency>
  <groupId>io.hotmoka.websockets</groupId>
  <artifactId>io-hotmoka-websockets-server</artifactId>
  <version>1.3.3</version>
</dependency>

implementation 'io.hotmoka.websockets:io-hotmoka-websockets-server:1.3.3'

implementation("io.hotmoka.websockets:io-hotmoka-websockets-server:1.3.3")

libraryDependencies += "io.hotmoka.websockets" % "io-hotmoka-websockets-server" % "1.3.3"

@Grapes(
  @Grab(group='io.hotmoka.websockets', module='io-hotmoka-websockets-server', version='1.3.3')
)

<dependency org="io.hotmoka.websockets" name="io-hotmoka-websockets-server" rev="1.3.3" />

[io.hotmoka.websockets/io-hotmoka-websockets-server "1.3.3"]

'io.hotmoka.websockets:io-hotmoka-websockets-server:jar:1.3.3'