Redback :: Key Management 1.4

License	Apache Source License 2.0
Categories	KeY Data Data Formats Formal Verification
GroupId	org.codehaus.redback
ArtifactId	redback-keys
Version	1.4
Type	pom
Description	Redback :: Key Management
Project Organization	Codehaus

Download redback-keys 1.4

Filename	Size
redback-keys-1.4.pom	1 KB

Apache Maven

<!-- 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>

Gradle Groovy

// https://jarcasting.com/artifacts/org.codehaus.redback/redback-keys/
implementation 'org.codehaus.redback:redback-keys:1.4'

Gradle Kotlin

// https://jarcasting.com/artifacts/org.codehaus.redback/redback-keys/
implementation ("org.codehaus.redback:redback-keys:1.4")

Apache Buildr

'org.codehaus.redback:redback-keys:pom:1.4'

Apache Ivy

<dependency org="org.codehaus.redback" name="redback-keys" rev="1.4">
  <artifact name="redback-keys" type="pom" />
</dependency>

Groovy Grape

@Grapes(
@Grab(group='org.codehaus.redback', module='redback-keys', version='1.4')
)

Scala SBT

libraryDependencies += "org.codehaus.redback" % "redback-keys" % "1.4"

Leiningen

[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