Categories |
CategoriesCLI User Interface KeY Data Data Formats Formal Verification |
---|---|
GroupId | GroupIdcom.launchkey.sdk |
ArtifactId | ArtifactIdexamples-cli |
Version | Version3.1.0 |
Type | Typejar |
Filename | Size |
---|---|
examples-cli-3.1.0.pom | |
examples-cli-3.1.0.jar | 12 KB |
examples-cli-3.1.0-sources.jar | 5 KB |
examples-cli-3.1.0-javadoc.jar | 23 KB |
examples-cli-3.1.0-jar-with-dependencies.jar | 3 MB |
Browse |
<!-- https://jarcasting.com/artifacts/com.launchkey.sdk/examples-cli/ -->
<dependency>
<groupId>com.launchkey.sdk</groupId>
<artifactId>examples-cli</artifactId>
<version>3.1.0</version>
</dependency>
// https://jarcasting.com/artifacts/com.launchkey.sdk/examples-cli/
implementation 'com.launchkey.sdk:examples-cli:3.1.0'
// https://jarcasting.com/artifacts/com.launchkey.sdk/examples-cli/
implementation ("com.launchkey.sdk:examples-cli:3.1.0")
'com.launchkey.sdk:examples-cli:jar:3.1.0'
<dependency org="com.launchkey.sdk" name="examples-cli" rev="3.1.0">
<artifact name="examples-cli" type="jar" />
</dependency>
@Grapes(
@Grab(group='com.launchkey.sdk', module='examples-cli', version='3.1.0')
)
libraryDependencies += "com.launchkey.sdk" % "examples-cli" % "3.1.0"
[com.launchkey.sdk/examples-cli "3.1.0"]