KeyMG API 1.0.CR1

KeyMG API contains the api to use on the model

License	lgpl
Categories	KeY Data Data Formats Formal Verification
GroupId	org.keymg
ArtifactId	keymg
Version	1.0.CR1
Type	war
Description	KeyMG API KeyMG API contains the api to use on the model

Download keymg 1.0.CR1

Filename	Size
keymg-1.0.CR1.pom
keymg-1.0.CR1.war	2 KB

Apache Maven

<!-- https://jarcasting.com/artifacts/org.keymg/keymg/ -->
<dependency>
    <groupId>org.keymg</groupId>
    <artifactId>keymg</artifactId>
    <version>1.0.CR1</version>
    <type>war</type>
</dependency>

Gradle Groovy

// https://jarcasting.com/artifacts/org.keymg/keymg/
implementation 'org.keymg:keymg:1.0.CR1'

Gradle Kotlin

// https://jarcasting.com/artifacts/org.keymg/keymg/
implementation ("org.keymg:keymg:1.0.CR1")

Apache Buildr

'org.keymg:keymg:war:1.0.CR1'

Apache Ivy

<dependency org="org.keymg" name="keymg" rev="1.0.CR1">
  <artifact name="keymg" type="war" />
</dependency>

Groovy Grape

@Grapes(
@Grab(group='org.keymg', module='keymg', version='1.0.CR1')
)

Scala SBT

libraryDependencies += "org.keymg" % "keymg" % "1.0.CR1"

Leiningen

[org.keymg/keymg "1.0.CR1"]

Dependencies

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

Project Modules

There are no modules declared in this project.