| Categories | CategoriesKeY Data Data Formats Formal Verification | 
|---|---|
| GroupId | GroupIdcom.thoughtworks.dsl | 
| ArtifactId | ArtifactIdkeywords-typed_3 | 
| Version | Version2.0.0-M2+231-906e46a5 | 
| Type | Typejar | 
<!-- https://jarcasting.com/artifacts/com.thoughtworks.dsl/keywords-typed_3/ -->
<dependency>
    <groupId>com.thoughtworks.dsl</groupId>
    <artifactId>keywords-typed_3</artifactId>
    <version>2.0.0-M2+231-906e46a5</version>
</dependency>// https://jarcasting.com/artifacts/com.thoughtworks.dsl/keywords-typed_3/
implementation 'com.thoughtworks.dsl:keywords-typed_3:2.0.0-M2+231-906e46a5'// https://jarcasting.com/artifacts/com.thoughtworks.dsl/keywords-typed_3/
implementation ("com.thoughtworks.dsl:keywords-typed_3:2.0.0-M2+231-906e46a5")'com.thoughtworks.dsl:keywords-typed_3:jar:2.0.0-M2+231-906e46a5'<dependency org="com.thoughtworks.dsl" name="keywords-typed_3" rev="2.0.0-M2+231-906e46a5">
  <artifact name="keywords-typed_3" type="jar" />
</dependency>@Grapes(
@Grab(group='com.thoughtworks.dsl', module='keywords-typed_3', version='2.0.0-M2+231-906e46a5')
)libraryDependencies += "com.thoughtworks.dsl" % "keywords-typed_3" % "2.0.0-M2+231-906e46a5"[com.thoughtworks.dsl/keywords-typed_3 "2.0.0-M2+231-906e46a5"]