com.github.skeychen:dswork-core 9.1.1

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

Download dswork-core 9.1.1

Filename	Size
dswork-core-9.1.1.pom
dswork-core-9.1.1.jar	46 KB
dswork-core-9.1.1-sources.jar	42 KB
dswork-core-9.1.1-javadoc.jar	236 KB

Apache Maven

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

Gradle Groovy

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

Gradle Kotlin

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

Apache Buildr

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

Apache Ivy

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

Groovy Grape

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

Scala SBT

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

Leiningen

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