System DKS Keystore

A keystore that allows DKS to be used as a system keystore.

License	MIT
Categories	KeY Data Data Formats Formal Verification
GroupId	com.github.marschall
ArtifactId	system-dks-keystore
Last Version	1.0.0
Release Date	Oct 17, 2021
Type	jar
Description	System DKS Keystore A keystore that allows DKS to be used as a system keystore.
Project URL	https://github.com/marschall/system-dks-keystore
Source Code Management	https://github.com/marschall/system-dks-keystore

Download system-dks-keystore

Filename	Size
system-dks-keystore-1.0.0.pom
system-dks-keystore-1.0.0.jar	12 KB
system-dks-keystore-1.0.0-sources.jar	6 KB
system-dks-keystore-1.0.0-javadoc.jar	401 KB

How to add to project

Apache Maven

<!-- https://jarcasting.com/artifacts/com.github.marschall/system-dks-keystore/ -->
<dependency>
    <groupId>com.github.marschall</groupId>
    <artifactId>system-dks-keystore</artifactId>
    <version>1.0.0</version>
</dependency>

Gradle Groovy

// https://jarcasting.com/artifacts/com.github.marschall/system-dks-keystore/
implementation 'com.github.marschall:system-dks-keystore:1.0.0'

Gradle Kotlin

// https://jarcasting.com/artifacts/com.github.marschall/system-dks-keystore/
implementation ("com.github.marschall:system-dks-keystore:1.0.0")

Apache Buildr

'com.github.marschall:system-dks-keystore:jar:1.0.0'

Apache Ivy

<dependency org="com.github.marschall" name="system-dks-keystore" rev="1.0.0">
  <artifact name="system-dks-keystore" type="jar" />
</dependency>

Groovy Grape

@Grapes(
@Grab(group='com.github.marschall', module='system-dks-keystore', version='1.0.0')
)

Scala SBT

libraryDependencies += "com.github.marschall" % "system-dks-keystore" % "1.0.0"

Leiningen

[com.github.marschall/system-dks-keystore "1.0.0"]

Dependencies

test (4)

Group / Artifact	Type	Version
org.junit.jupiter : junit-jupiter-api	jar
org.junit.jupiter : junit-jupiter-engine	jar
org.junit.jupiter : junit-jupiter-params	jar
org.hamcrest : hamcrest-junit	jar	2.0.0.0

Project Modules

There are no modules declared in this project.

Versions

Version
1.0.0 Oct 17, 2021