tla2json 1.0.1
Group ID:
com.github.japgolly.tla2json
Artifact ID:
tla2json_2.13
Version:
1.0.1
Release Date:
Mar 2, 2021
Licenses:
Files:
libraryDependencies += "com.github.japgolly.tla2json" %% "tla2json" % "1.0.1"
ivy"com.github.japgolly.tla2json::tla2json:1.0.1"
//> using dep "com.github.japgolly.tla2json::tla2json:1.0.1"
import $ivy.`com.github.japgolly.tla2json::tla2json:1.0.1`
<dependency> <groupId>com.github.japgolly.tla2json</groupId> <artifactId>tla2json_2.13</artifactId> <version>1.0.1</version> </dependency>
compile group: 'com.github.japgolly.tla2json', name: 'tla2json_2.13', version: '1.0.1'