License |
License |
---|---|
Categories |
CategoriesJava Languages Net KeY Data Data Formats Formal Verification |
GroupId | GroupIdnet.java.truecommons |
ArtifactId | ArtifactIdtruecommons-key-default |
Last Version | Last Version2.5.0 |
Release Date | Release Date |
Type | Typejar |
Description |
DescriptionTrueCommons KeyManager Default
The KeyManager implementation in this module fails to resolve any keys.
Its priority is set to Integer.MIN_VALUE, so any other KeyManager
module on the class path will take precedence.
|
Project Organization |
Project Organization |
<!-- https://jarcasting.com/artifacts/net.java.truecommons/truecommons-key-default/ -->
<dependency>
<groupId>net.java.truecommons</groupId>
<artifactId>truecommons-key-default</artifactId>
<version>2.5.0</version>
</dependency>
// https://jarcasting.com/artifacts/net.java.truecommons/truecommons-key-default/
implementation 'net.java.truecommons:truecommons-key-default:2.5.0'
// https://jarcasting.com/artifacts/net.java.truecommons/truecommons-key-default/
implementation ("net.java.truecommons:truecommons-key-default:2.5.0")
'net.java.truecommons:truecommons-key-default:jar:2.5.0'
<dependency org="net.java.truecommons" name="truecommons-key-default" rev="2.5.0">
<artifact name="truecommons-key-default" type="jar" />
</dependency>
@Grapes(
@Grab(group='net.java.truecommons', module='truecommons-key-default', version='2.5.0')
)
libraryDependencies += "net.java.truecommons" % "truecommons-key-default" % "2.5.0"
[net.java.truecommons/truecommons-key-default "2.5.0"]
Group / Artifact | Type | Version |
---|---|---|
net.java.truecommons : truecommons-key-spec | jar | 2.5.0 |
Group / Artifact | Type | Version |
---|---|---|
net.java.truecommons : truecommons-key-spec | test-jar | 2.5.0 |