| License |
License |
|---|---|
| Categories |
CategoriesKeY Data Data Formats Formal Verification |
| GroupId | GroupIdcom.oneeyedmen |
| ArtifactId | ArtifactIdokeydoke |
| Last Version | Last Version1.3.3 |
| Release Date | Release Date |
| Type | Typejar |
| Description |
Descriptionokeydoke
An approvals test library
|
| Project URL |
Project URL |
| Source Code Management |
Source Code Management |
| Filename | Size |
|---|---|
| okeydoke-1.3.3.pom | |
| okeydoke-1.3.3.jar | 76 KB |
| okeydoke-1.3.3-sources.jar | 34 KB |
| okeydoke-1.3.3-javadoc.jar | 358 KB |
| Browse |
JarCasting<!-- https://jarcasting.com/artifacts/com.oneeyedmen/okeydoke/ -->
<dependency>
<groupId>com.oneeyedmen</groupId>
<artifactId>okeydoke</artifactId>
<version>1.3.3</version>
</dependency>// https://jarcasting.com/artifacts/com.oneeyedmen/okeydoke/
implementation 'com.oneeyedmen:okeydoke:1.3.3'// https://jarcasting.com/artifacts/com.oneeyedmen/okeydoke/
implementation ("com.oneeyedmen:okeydoke:1.3.3")'com.oneeyedmen:okeydoke:jar:1.3.3'<dependency org="com.oneeyedmen" name="okeydoke" rev="1.3.3">
<artifact name="okeydoke" type="jar" />
</dependency>@Grapes(
@Grab(group='com.oneeyedmen', module='okeydoke', version='1.3.3')
)libraryDependencies += "com.oneeyedmen" % "okeydoke" % "1.3.3"[com.oneeyedmen/okeydoke "1.3.3"]| Group / Artifact | Type | Version |
|---|---|---|
| org.opentest4j : opentest4j | jar | 1.2.0 |
| Group / Artifact | Type | Version |
|---|---|---|
| junit : junit | jar | 4.12 |
| org.jmock : jmock-junit4 | jar | 2.6.0 |
| org.jmock : jmock-legacy | jar | 2.6.0 |
| org.junit.jupiter : junit-jupiter-api | jar | 5.6.0 |
| Group / Artifact | Type | Version |
|---|---|---|
| org.junit.jupiter : junit-jupiter | jar | 5.6.0 |