JarCasting
JarCasting JarCasting

Rekord Keys

Extra keys for Rekord.

License

License
Categories

Categories

KeY Data Data Formats Formal Verification
GroupId

GroupId

com.noodlesandwich
ArtifactId

ArtifactId

rekord-keys
Last Version

Last Version

0.3
Release Date

Release Date
Type

Type

jar
Description

Description

Rekord Keys
Extra keys for Rekord.
Project URL

Project URL

https://github.com/SamirTalwar/Rekord

Download rekord-keys

Filename Size
rekord-keys-0.3.pom
rekord-keys-0.3.jar 17 KB
rekord-keys-0.3-sources.jar 4 KB
rekord-keys-0.3-javadoc.jar 89 KB
Browse

How to add to project

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

Dependencies

compile (1)

Group / Artifact Type Version
com.noodlesandwich : rekord-core jar 0.3

test (5)

Group / Artifact Type Version
junit : junit jar 4.11
org.hamcrest : hamcrest-library jar 1.3
com.google.guava : guava jar 17.0
com.noodlesandwich : rekord-test-support jar 0.3
com.noodlesandwich : rekord-validation jar 0.3

Project Modules

There are no modules declared in this project.

Versions

Version
0.3