License |
License |
---|---|
Categories |
CategoriesKeY Data Data Formats Formal Verification |
GroupId | GroupIdcom.keyholesoftware |
ArtifactId | ArtifactIdkhs-sherpa-spring |
Version | Version1.3.2 |
Type | Typejar |
Description |
Descriptionkhs-sherpa-spring
Spring support for Sherpa.
|
Project URL |
Project URL |
Project Organization |
Project Organization |
Source Code Management |
Source Code Management |
Filename | Size |
---|---|
khs-sherpa-spring-1.3.2.pom | |
khs-sherpa-spring-1.3.2.jar | 10 KB |
khs-sherpa-spring-1.3.2-sources.jar | 5 KB |
khs-sherpa-spring-1.3.2-javadoc.jar | 43 KB |
Browse |
<!-- https://jarcasting.com/artifacts/com.keyholesoftware/khs-sherpa-spring/ -->
<dependency>
<groupId>com.keyholesoftware</groupId>
<artifactId>khs-sherpa-spring</artifactId>
<version>1.3.2</version>
</dependency>
// https://jarcasting.com/artifacts/com.keyholesoftware/khs-sherpa-spring/
implementation 'com.keyholesoftware:khs-sherpa-spring:1.3.2'
// https://jarcasting.com/artifacts/com.keyholesoftware/khs-sherpa-spring/
implementation ("com.keyholesoftware:khs-sherpa-spring:1.3.2")
'com.keyholesoftware:khs-sherpa-spring:jar:1.3.2'
<dependency org="com.keyholesoftware" name="khs-sherpa-spring" rev="1.3.2">
<artifact name="khs-sherpa-spring" type="jar" />
</dependency>
@Grapes(
@Grab(group='com.keyholesoftware', module='khs-sherpa-spring', version='1.3.2')
)
libraryDependencies += "com.keyholesoftware" % "khs-sherpa-spring" % "1.3.2"
[com.keyholesoftware/khs-sherpa-spring "1.3.2"]
Group / Artifact | Type | Version |
---|---|---|
javax : javaee-api | jar | 6.0 |
com.keyholesoftware : khs-sherpa | jar | 1.3.2 |
org.springframework : spring-core | jar | 4.2.4.RELEASE |
org.springframework.security : spring-security-core | jar | 4.0.3.RELEASE |
org.springframework.security : spring-security-web | jar | 4.0.3.RELEASE |
Group / Artifact | Type | Version |
---|---|---|
junit : junit | jar | 4.8.1 |