com.github.skeychen:dswork-web 9.1.1

Categories	KeY Data Data Formats Formal Verification
GroupId	com.github.skeychen
ArtifactId	dswork-web
Version	9.1.1
Type	jar

Download dswork-web 9.1.1

Filename	Size
dswork-web-9.1.1.pom
dswork-web-9.1.1.jar	18 KB
dswork-web-9.1.1-sources.jar	15 KB
dswork-web-9.1.1-javadoc.jar	66 KB

Apache Maven

<!-- https://jarcasting.com/artifacts/com.github.skeychen/dswork-web/ -->
<dependency>
    <groupId>com.github.skeychen</groupId>
    <artifactId>dswork-web</artifactId>
    <version>9.1.1</version>
</dependency>

Gradle Groovy

// https://jarcasting.com/artifacts/com.github.skeychen/dswork-web/
implementation 'com.github.skeychen:dswork-web:9.1.1'

Gradle Kotlin

// https://jarcasting.com/artifacts/com.github.skeychen/dswork-web/
implementation ("com.github.skeychen:dswork-web:9.1.1")

Apache Buildr

'com.github.skeychen:dswork-web:jar:9.1.1'

Apache Ivy

<dependency org="com.github.skeychen" name="dswork-web" rev="9.1.1">
  <artifact name="dswork-web" type="jar" />
</dependency>

Groovy Grape

@Grapes(
@Grab(group='com.github.skeychen', module='dswork-web', version='9.1.1')
)

Scala SBT

libraryDependencies += "com.github.skeychen" % "dswork-web" % "9.1.1"

Leiningen

[com.github.skeychen/dswork-web "9.1.1"]