Redback :: Key Management Test Harness


License

License

Apache Source License 2.0
Categories

Categories

KeY Data Data Formats Formal Verification
GroupId

GroupId

org.codehaus.redback
ArtifactId

ArtifactId

redback-keys-tests
Last Version

Last Version

1.4
Release Date

Release Date

Type

Type

jar
Description

Description

Redback :: Key Management Test Harness
Project Organization

Project Organization

Codehaus

Download redback-keys-tests

How to add to project

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

Dependencies

compile (4)

Group / Artifact Type Version
org.codehaus.redback : redback-keys-api jar 1.4
org.springframework : spring-test jar 3.0.6.RELEASE
junit : junit jar 4.9
org.jvnet : animal-sniffer-annotation Optional jar 1.0

Project Modules

There are no modules declared in this project.

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