com.webank:key-mini-toolkit 1.0.2

WeBank key mini toolkit

Categories	KeY Data Data Formats Formal Verification
GroupId	com.webank
ArtifactId	key-mini-toolkit
Version	1.0.2
Type	jar

Download key-mini-toolkit 1.0.2

Filename	Size
key-mini-toolkit-1.0.2.pom
key-mini-toolkit-1.0.2.jar	2 MB
key-mini-toolkit-1.0.2-sources.jar	2 MB
key-mini-toolkit-1.0.2-javadoc.jar	39 KB

Apache Maven

<!-- https://jarcasting.com/artifacts/com.webank/key-mini-toolkit/ -->
<dependency>
    <groupId>com.webank</groupId>
    <artifactId>key-mini-toolkit</artifactId>
    <version>1.0.2</version>
</dependency>

Gradle Groovy

// https://jarcasting.com/artifacts/com.webank/key-mini-toolkit/
implementation 'com.webank:key-mini-toolkit:1.0.2'

Gradle Kotlin

// https://jarcasting.com/artifacts/com.webank/key-mini-toolkit/
implementation ("com.webank:key-mini-toolkit:1.0.2")

Apache Buildr

'com.webank:key-mini-toolkit:jar:1.0.2'

Apache Ivy

<dependency org="com.webank" name="key-mini-toolkit" rev="1.0.2">
  <artifact name="key-mini-toolkit" type="jar" />
</dependency>

Groovy Grape

@Grapes(
@Grab(group='com.webank', module='key-mini-toolkit', version='1.0.2')
)

Scala SBT

libraryDependencies += "com.webank" % "key-mini-toolkit" % "1.0.2"

Leiningen

[com.webank/key-mini-toolkit "1.0.2"]