License |
License |
---|---|
Categories |
CategoriesKeY Data Data Formats Formal Verification |
GroupId | GroupIdcom.thoughtworks.binding |
ArtifactId | ArtifactIdkeywords-bind_3 |
Version | Version13.0.0-M0+193-ad33c646 |
Type | Typejar |
Description |
Descriptionkeywords-Bind
keywords-Bind
|
Project URL |
Project URL |
Project Organization |
Project Organization |
Source Code Management |
Source Code Management |
<!-- https://jarcasting.com/artifacts/com.thoughtworks.binding/keywords-bind_3/ -->
<dependency>
<groupId>com.thoughtworks.binding</groupId>
<artifactId>keywords-bind_3</artifactId>
<version>13.0.0-M0+193-ad33c646</version>
</dependency>
// https://jarcasting.com/artifacts/com.thoughtworks.binding/keywords-bind_3/
implementation 'com.thoughtworks.binding:keywords-bind_3:13.0.0-M0+193-ad33c646'
// https://jarcasting.com/artifacts/com.thoughtworks.binding/keywords-bind_3/
implementation ("com.thoughtworks.binding:keywords-bind_3:13.0.0-M0+193-ad33c646")
'com.thoughtworks.binding:keywords-bind_3:jar:13.0.0-M0+193-ad33c646'
<dependency org="com.thoughtworks.binding" name="keywords-bind_3" rev="13.0.0-M0+193-ad33c646">
<artifact name="keywords-bind_3" type="jar" />
</dependency>
@Grapes(
@Grab(group='com.thoughtworks.binding', module='keywords-bind_3', version='13.0.0-M0+193-ad33c646')
)
libraryDependencies += "com.thoughtworks.binding" % "keywords-bind_3" % "13.0.0-M0+193-ad33c646"
[com.thoughtworks.binding/keywords-bind_3 "13.0.0-M0+193-ad33c646"]
Group / Artifact | Type | Version |
---|---|---|
com.thoughtworks.binding : covariantstreamt_3 | jar | 13.0.0-M0+193-ad33c646 |
org.scala-lang : scala3-library_3 | jar | 3.1.1 |