is not current version
Last Version 4.0.1

de.devland.esperandro:esperandro-keys-gen 3.0.3


Categories

Categories

KeY Data Data Formats Formal Verification
GroupId

GroupId

de.devland.esperandro
ArtifactId

ArtifactId

esperandro-keys-gen
Version

Version

3.0.3
Type

Type

jar

Download esperandro-keys-gen 3.0.3


<!-- https://jarcasting.com/artifacts/de.devland.esperandro/esperandro-keys-gen/ -->
<dependency>
    <groupId>de.devland.esperandro</groupId>
    <artifactId>esperandro-keys-gen</artifactId>
    <version>3.0.3</version>
</dependency>
// https://jarcasting.com/artifacts/de.devland.esperandro/esperandro-keys-gen/
implementation 'de.devland.esperandro:esperandro-keys-gen:3.0.3'
// https://jarcasting.com/artifacts/de.devland.esperandro/esperandro-keys-gen/
implementation ("de.devland.esperandro:esperandro-keys-gen:3.0.3")
'de.devland.esperandro:esperandro-keys-gen:jar:3.0.3'
<dependency org="de.devland.esperandro" name="esperandro-keys-gen" rev="3.0.3">
  <artifact name="esperandro-keys-gen" type="jar" />
</dependency>
@Grapes(
@Grab(group='de.devland.esperandro', module='esperandro-keys-gen', version='3.0.3')
)
libraryDependencies += "de.devland.esperandro" % "esperandro-keys-gen" % "3.0.3"
[de.devland.esperandro/esperandro-keys-gen "3.0.3"]