Donkey parent

Common configuration for all Donkey modules

License	MIT
Categories	KeY Data Data Formats Formal Verification
GroupId	io.github.asvanberg
ArtifactId	donkey-parent
Last Version	1.4.0
Release Date	Jan 31, 2022
Type	pom
Description	Donkey parent Common configuration for all Donkey modules
Project URL	https://github.com/asvanberg/donkey
Source Code Management	https://github.com/asvanberg/donkey

Download donkey-parent

Filename	Size
donkey-parent-1.4.0.pom	7 KB

How to add to project

Apache Maven

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

Gradle Groovy

// https://jarcasting.com/artifacts/io.github.asvanberg/donkey-parent/
implementation 'io.github.asvanberg:donkey-parent:1.4.0'

Gradle Kotlin

// https://jarcasting.com/artifacts/io.github.asvanberg/donkey-parent/
implementation ("io.github.asvanberg:donkey-parent:1.4.0")

Apache Buildr

'io.github.asvanberg:donkey-parent:pom:1.4.0'

Apache Ivy

<dependency org="io.github.asvanberg" name="donkey-parent" rev="1.4.0">
  <artifact name="donkey-parent" type="pom" />
</dependency>

Groovy Grape

@Grapes(
@Grab(group='io.github.asvanberg', module='donkey-parent', version='1.4.0')
)

Scala SBT

libraryDependencies += "io.github.asvanberg" % "donkey-parent" % "1.4.0"

Leiningen

[io.github.asvanberg/donkey-parent "1.4.0"]

Dependencies

There are no dependencies for this project. It is a standalone project that does not depend on any other jars.

Project Modules

• impl
• apt

Versions

Version
1.4.0 Jan 31, 2022
1.3.0 Dec 12, 2021