| License |
License |
|---|---|
| Categories |
CategoriesKeY Data Data Formats Formal Verification |
| GroupId | GroupIdio.github.asvanberg |
| ArtifactId | ArtifactIddonkey-parent |
| Last Version | Last Version1.4.0 |
| Release Date | Release Date |
| Type | Typepom |
| Description |
DescriptionDonkey parent
Common configuration for all Donkey modules
|
| Project URL |
Project URL |
| Source Code Management |
Source Code Management |
| Filename | Size |
|---|---|
| donkey-parent-1.4.0.pom | 7 KB |
| Browse |
JarCasting<!-- https://jarcasting.com/artifacts/io.github.asvanberg/donkey-parent/ -->
<dependency>
<groupId>io.github.asvanberg</groupId>
<artifactId>donkey-parent</artifactId>
<version>1.4.0</version>
<type>pom</type>
</dependency>// https://jarcasting.com/artifacts/io.github.asvanberg/donkey-parent/
implementation 'io.github.asvanberg:donkey-parent:1.4.0'// https://jarcasting.com/artifacts/io.github.asvanberg/donkey-parent/
implementation ("io.github.asvanberg:donkey-parent:1.4.0")'io.github.asvanberg:donkey-parent:pom:1.4.0'<dependency org="io.github.asvanberg" name="donkey-parent" rev="1.4.0">
<artifact name="donkey-parent" type="pom" />
</dependency>@Grapes(
@Grab(group='io.github.asvanberg', module='donkey-parent', version='1.4.0')
)libraryDependencies += "io.github.asvanberg" % "donkey-parent" % "1.4.0"[io.github.asvanberg/donkey-parent "1.4.0"]