is not current version
Last Version 1.4.0

Donkey parent 1.3.0

Common configuration for all Donkey modules

License

License

MIT
Categories

Categories

KeY Data Data Formats Formal Verification
GroupId

GroupId

io.github.asvanberg
ArtifactId

ArtifactId

donkey-parent
Version

Version

1.3.0
Type

Type

pom
Description

Description

Donkey parent
Common configuration for all Donkey modules
Project URL

Project URL

https://github.com/asvanberg/donkey
Source Code Management

Source Code Management

https://github.com/asvanberg/donkey

Download donkey-parent 1.3.0

Filename Size
donkey-parent-1.3.0.pom 7 KB
Browse

<!-- https://jarcasting.com/artifacts/io.github.asvanberg/donkey-parent/ -->
<dependency>
    <groupId>io.github.asvanberg</groupId>
    <artifactId>donkey-parent</artifactId>
    <version>1.3.0</version>
    <type>pom</type>
</dependency>
// https://jarcasting.com/artifacts/io.github.asvanberg/donkey-parent/
implementation 'io.github.asvanberg:donkey-parent:1.3.0'
// https://jarcasting.com/artifacts/io.github.asvanberg/donkey-parent/
implementation ("io.github.asvanberg:donkey-parent:1.3.0")
'io.github.asvanberg:donkey-parent:pom:1.3.0'
<dependency org="io.github.asvanberg" name="donkey-parent" rev="1.3.0">
  <artifact name="donkey-parent" type="pom" />
</dependency>
@Grapes(
@Grab(group='io.github.asvanberg', module='donkey-parent', version='1.3.0')
)
libraryDependencies += "io.github.asvanberg" % "donkey-parent" % "1.3.0"
[io.github.asvanberg/donkey-parent "1.3.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