Redback :: Key Management


License

License

Apache Source License 2.0
Categories

Categories

KeY Data Data Formats Formal Verification
GroupId

GroupId

org.codehaus.redback
ArtifactId

ArtifactId

redback-keys
Last Version

Last Version

1.4
Release Date

Release Date

Type

Type

pom
Description

Description

Redback :: Key Management
Project Organization

Project Organization

Codehaus

Download redback-keys

Filename Size
redback-keys-1.4.pom 1 KB
Browse

How to add to project

<!-- https://jarcasting.com/artifacts/org.codehaus.redback/redback-keys/ -->
<dependency>
    <groupId>org.codehaus.redback</groupId>
    <artifactId>redback-keys</artifactId>
    <version>1.4</version>
    <type>pom</type>
</dependency>
// https://jarcasting.com/artifacts/org.codehaus.redback/redback-keys/
implementation 'org.codehaus.redback:redback-keys:1.4'
// https://jarcasting.com/artifacts/org.codehaus.redback/redback-keys/
implementation ("org.codehaus.redback:redback-keys:1.4")
'org.codehaus.redback:redback-keys:pom:1.4'
<dependency org="org.codehaus.redback" name="redback-keys" rev="1.4">
  <artifact name="redback-keys" type="pom" />
</dependency>
@Grapes(
@Grab(group='org.codehaus.redback', module='redback-keys', version='1.4')
)
libraryDependencies += "org.codehaus.redback" % "redback-keys" % "1.4"
[org.codehaus.redback/redback-keys "1.4"]

Dependencies

compile (1)

Group / Artifact Type Version
org.jvnet : animal-sniffer-annotation Optional jar 1.0

Project Modules

  • redback-keys-api
  • redback-keys-providers
  • redback-keys-tests
  • redback-authentication-keys

Versions

Version
1.4
1.3
1.3-M3
1.3-M2
1.3-M1
1.2.9
1.2.8
1.2.7
1.2.6
1.2.5
1.2.4
1.2.3
1.2.2
1.2.1
1.2
1.2-beta-2
1.2-beta-1
1.1.2
1.1.1
1.1