Redback :: Key Management Test Harness

License	Apache Source License 2.0
Categories	KeY Data Data Formats Formal Verification
GroupId	org.codehaus.redback
ArtifactId	redback-keys-tests
Last Version	1.4
Release Date	Dec 13, 2011
Type	jar
Description	Redback :: Key Management Test Harness
Project Organization	Codehaus

Download redback-keys-tests

Filename	Size
redback-keys-tests-1.4.pom
redback-keys-tests-1.4.jar	5 KB
redback-keys-tests-1.4-sources.jar	2 KB
redback-keys-tests-1.4-javadoc.jar	22 KB

How to add to project

Apache Maven

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

Gradle Groovy

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

Gradle Kotlin

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

Apache Buildr

'org.codehaus.redback:redback-keys-tests:jar:1.4'

Apache Ivy

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

Groovy Grape

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

Scala SBT

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

Leiningen

[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 Dec 13, 2011
1.3 Oct 12, 2011
1.3-M3 Dec 7, 2013
1.3-M2 Nov 28, 2012
1.3-M1 May 23, 2011
1.2.9 Jan 7, 2013
1.2.8 May 11, 2011
1.2.7 Mar 13, 2011
1.2.6 Feb 1, 2011
1.2.5 Nov 25, 2010
1.2.4 Nov 23, 2010
1.2.3 Jan 12, 2010
1.2.2 Aug 22, 2009
1.2.1 Apr 21, 2009
1.2 Mar 19, 2009
1.2-beta-2 Jan 16, 2009
1.2-beta-1 Nov 7, 2008
1.1.2 Oct 25, 2008
1.1.1 Sep 18, 2008
1.1 Sep 3, 2008