com.keyholesoftware:khs-sherpa-spring 1.2.0

Spring support for Sherpa.

Categories	KeY Data Data Formats Formal Verification
GroupId	com.keyholesoftware
ArtifactId	khs-sherpa-spring
Version	1.2.0
Type	jar

Download khs-sherpa-spring 1.2.0

Filename	Size
khs-sherpa-spring-1.2.0.pom
khs-sherpa-spring-1.2.0.jar	8 KB
khs-sherpa-spring-1.2.0-sources.jar	4 KB
khs-sherpa-spring-1.2.0-javadoc.jar	32 KB

Apache Maven

<!-- https://jarcasting.com/artifacts/com.keyholesoftware/khs-sherpa-spring/ -->
<dependency>
    <groupId>com.keyholesoftware</groupId>
    <artifactId>khs-sherpa-spring</artifactId>
    <version>1.2.0</version>
</dependency>

Gradle Groovy

// https://jarcasting.com/artifacts/com.keyholesoftware/khs-sherpa-spring/
implementation 'com.keyholesoftware:khs-sherpa-spring:1.2.0'

Gradle Kotlin

// https://jarcasting.com/artifacts/com.keyholesoftware/khs-sherpa-spring/
implementation ("com.keyholesoftware:khs-sherpa-spring:1.2.0")

Apache Buildr

'com.keyholesoftware:khs-sherpa-spring:jar:1.2.0'

Apache Ivy

<dependency org="com.keyholesoftware" name="khs-sherpa-spring" rev="1.2.0">
  <artifact name="khs-sherpa-spring" type="jar" />
</dependency>

Groovy Grape

@Grapes(
@Grab(group='com.keyholesoftware', module='khs-sherpa-spring', version='1.2.0')
)

Scala SBT

libraryDependencies += "com.keyholesoftware" % "khs-sherpa-spring" % "1.2.0"

Leiningen

[com.keyholesoftware/khs-sherpa-spring "1.2.0"]