JarCasting
JarCasting JarCasting
Last Version

khs-sherpa-spring 1.3.2

Spring support for Sherpa.

License

License
Categories

Categories

KeY Data Data Formats Formal Verification
GroupId

GroupId

com.keyholesoftware
ArtifactId

ArtifactId

khs-sherpa-spring
Version

Version

1.3.2
Type

Type

jar
Description

Description

khs-sherpa-spring
Spring support for Sherpa.
Project URL

Project URL

http://keyholesoftware.com
Project Organization

Project Organization

Keyhole Software
Source Code Management

Source Code Management

https://github.com/in-the-keyhole/khs-sherpa-spring

Download khs-sherpa-spring 1.3.2

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"]

Dependencies

provided (5)

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

test (1)

Group / Artifact Type Version
junit : junit jar 4.8.1

Project Modules

There are no modules declared in this project.