Categories |
CategoriesKeY Data Data Formats Formal Verification |
---|---|
GroupId | GroupIdcom.keyholesoftware |
ArtifactId | ArtifactIdkhs-sherpa |
Version | Version1.1.5 |
Type | Typejar |
Filename | Size |
---|---|
khs-sherpa-1.1.5.pom | |
khs-sherpa-1.1.5.jar | 57 KB |
khs-sherpa-1.1.5-sources.jar | 43 KB |
khs-sherpa-1.1.5-javadoc.jar | 264 KB |
Browse |
<!-- https://jarcasting.com/artifacts/com.keyholesoftware/khs-sherpa/ -->
<dependency>
<groupId>com.keyholesoftware</groupId>
<artifactId>khs-sherpa</artifactId>
<version>1.1.5</version>
</dependency>
// https://jarcasting.com/artifacts/com.keyholesoftware/khs-sherpa/
implementation 'com.keyholesoftware:khs-sherpa:1.1.5'
// https://jarcasting.com/artifacts/com.keyholesoftware/khs-sherpa/
implementation ("com.keyholesoftware:khs-sherpa:1.1.5")
'com.keyholesoftware:khs-sherpa:jar:1.1.5'
<dependency org="com.keyholesoftware" name="khs-sherpa" rev="1.1.5">
<artifact name="khs-sherpa" type="jar" />
</dependency>
@Grapes(
@Grab(group='com.keyholesoftware', module='khs-sherpa', version='1.1.5')
)
libraryDependencies += "com.keyholesoftware" % "khs-sherpa" % "1.1.5"
[com.keyholesoftware/khs-sherpa "1.1.5"]