License |
License |
---|---|
Categories |
CategoriesCLI User Interface KeY Data Data Formats Formal Verification |
GroupId | GroupIdcom.keyholesoftware |
ArtifactId | ArtifactIdkhs-trouble-maker-client |
Version | Version1.0.1 |
Type | Typejar |
Description |
Descriptionkhs-trouble-maker-client
Trouble Maker Client Servlet
|
Project URL |
Project URL |
Project Organization |
Project Organization |
Source Code Management |
Source Code Management |
<!-- https://jarcasting.com/artifacts/com.keyholesoftware/khs-trouble-maker-client/ -->
<dependency>
<groupId>com.keyholesoftware</groupId>
<artifactId>khs-trouble-maker-client</artifactId>
<version>1.0.1</version>
</dependency>
// https://jarcasting.com/artifacts/com.keyholesoftware/khs-trouble-maker-client/
implementation 'com.keyholesoftware:khs-trouble-maker-client:1.0.1'
// https://jarcasting.com/artifacts/com.keyholesoftware/khs-trouble-maker-client/
implementation ("com.keyholesoftware:khs-trouble-maker-client:1.0.1")
'com.keyholesoftware:khs-trouble-maker-client:jar:1.0.1'
<dependency org="com.keyholesoftware" name="khs-trouble-maker-client" rev="1.0.1">
<artifact name="khs-trouble-maker-client" type="jar" />
</dependency>
@Grapes(
@Grab(group='com.keyholesoftware', module='khs-trouble-maker-client', version='1.0.1')
)
libraryDependencies += "com.keyholesoftware" % "khs-trouble-maker-client" % "1.0.1"
[com.keyholesoftware/khs-trouble-maker-client "1.0.1"]
Group / Artifact | Type | Version |
---|---|---|
javax.servlet : javax.servlet-api | jar | 3.1.0 |
Group / Artifact | Type | Version |
---|---|---|
junit : junit | jar | 3.8.1 |