License |
License |
---|---|
Categories |
CategoriesKeY Data Data Formats Formal Verification |
GroupId | GroupIdcom.keyholesoftware |
ArtifactId | ArtifactIdkhs-trango |
Last Version | Last Version1.0 |
Release Date | Release Date |
Type | Typejar |
Description |
Descriptionkhs-sherpa
JSON remote data end point service via HTTP
|
Filename | Size |
---|---|
khs-trango-1.0.pom | |
khs-trango-1.0.jar | 20 KB |
khs-trango-1.0-sources.jar | 9 KB |
khs-trango-1.0-javadoc.jar | 102 KB |
Browse |
<!-- https://jarcasting.com/artifacts/com.keyholesoftware/khs-trango/ -->
<dependency>
<groupId>com.keyholesoftware</groupId>
<artifactId>khs-trango</artifactId>
<version>1.0</version>
</dependency>
// https://jarcasting.com/artifacts/com.keyholesoftware/khs-trango/
implementation 'com.keyholesoftware:khs-trango:1.0'
// https://jarcasting.com/artifacts/com.keyholesoftware/khs-trango/
implementation ("com.keyholesoftware:khs-trango:1.0")
'com.keyholesoftware:khs-trango:jar:1.0'
<dependency org="com.keyholesoftware" name="khs-trango" rev="1.0">
<artifact name="khs-trango" type="jar" />
</dependency>
@Grapes(
@Grab(group='com.keyholesoftware', module='khs-trango', version='1.0')
)
libraryDependencies += "com.keyholesoftware" % "khs-trango" % "1.0"
[com.keyholesoftware/khs-trango "1.0"]
Group / Artifact | Type | Version |
---|---|---|
log4j : log4j | jar | 1.2.14 |
org.hibernate : hibernate-annotations | jar | 3.4.0.GA |
org.aspectj : aspectjrt | jar | 1.6.10 |
org.aspectj : aspectjweaver | jar | 1.6.10 |
org.springframework : spring-aspects | jar | 3.0.5.RELEASE |
org.springframework : spring-orm | jar | 3.0.5.RELEASE |
Group / Artifact | Type | Version |
---|---|---|
junit : junit | jar | 4.8.2 |
org.dbunit : dbunit | jar | 2.4.8 |