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

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

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

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

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

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

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

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