License |
License |
---|---|
Categories |
CategoriesKeY Data Data Formats Formal Verification |
GroupId | GroupIdio.github.asvanberg |
ArtifactId | ArtifactIddonkey |
Last Version | Last Version1.4.0 |
Release Date | Release Date |
Type | Typejar |
Description |
DescriptionDonkey
An opinionated and stubborn implementation of the Jakarta JSON Bind API.
|
Filename | Size |
---|---|
donkey-1.4.0.pom | |
donkey-1.4.0.jar | 99 KB |
donkey-1.4.0-sources.jar | 43 KB |
donkey-1.4.0-javadoc.jar | 112 KB |
Browse |
<!-- https://jarcasting.com/artifacts/io.github.asvanberg/donkey/ -->
<dependency>
<groupId>io.github.asvanberg</groupId>
<artifactId>donkey</artifactId>
<version>1.4.0</version>
</dependency>
// https://jarcasting.com/artifacts/io.github.asvanberg/donkey/
implementation 'io.github.asvanberg:donkey:1.4.0'
// https://jarcasting.com/artifacts/io.github.asvanberg/donkey/
implementation ("io.github.asvanberg:donkey:1.4.0")
'io.github.asvanberg:donkey:jar:1.4.0'
<dependency org="io.github.asvanberg" name="donkey" rev="1.4.0">
<artifact name="donkey" type="jar" />
</dependency>
@Grapes(
@Grab(group='io.github.asvanberg', module='donkey', version='1.4.0')
)
libraryDependencies += "io.github.asvanberg" % "donkey" % "1.4.0"
[io.github.asvanberg/donkey "1.4.0"]
Group / Artifact | Type | Version |
---|---|---|
jakarta.json.bind : jakarta.json.bind-api | jar | 2.0.0 |
jakarta.json : jakarta.json-api | jar | 2.0.1 |
Group / Artifact | Type | Version |
---|---|---|
org.junit.jupiter : junit-jupiter | jar | |
net.jqwik : jqwik | jar | 1.5.6 |
org.eclipse.parsson : parsson | jar | 1.0.0 |
org.assertj : assertj-core | jar | 3.20.1 |