License |
License |
---|---|
Categories |
CategoriesKeY Data Data Formats Formal Verification |
GroupId | GroupIdcom.thoughtworks.binding |
ArtifactId | ArtifactIdkeywords-bind_3 |
Last Version | Last Version13.0.0-M0+197-aad220b3 |
Release Date | Release Date |
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+197-aad220b3</version>
</dependency>
// https://jarcasting.com/artifacts/com.thoughtworks.binding/keywords-bind_3/
implementation 'com.thoughtworks.binding:keywords-bind_3:13.0.0-M0+197-aad220b3'
// https://jarcasting.com/artifacts/com.thoughtworks.binding/keywords-bind_3/
implementation ("com.thoughtworks.binding:keywords-bind_3:13.0.0-M0+197-aad220b3")
'com.thoughtworks.binding:keywords-bind_3:jar:13.0.0-M0+197-aad220b3'
<dependency org="com.thoughtworks.binding" name="keywords-bind_3" rev="13.0.0-M0+197-aad220b3">
<artifact name="keywords-bind_3" type="jar" />
</dependency>
@Grapes(
@Grab(group='com.thoughtworks.binding', module='keywords-bind_3', version='13.0.0-M0+197-aad220b3')
)
libraryDependencies += "com.thoughtworks.binding" % "keywords-bind_3" % "13.0.0-M0+197-aad220b3"
[com.thoughtworks.binding/keywords-bind_3 "13.0.0-M0+197-aad220b3"]
Group / Artifact | Type | Version |
---|---|---|
com.thoughtworks.binding : covariantstreamt_3 | jar | 13.0.0-M0+197-aad220b3 |
org.scala-lang : scala3-library_3 | jar | 3.1.1 |