KeyMG API

KeyMG API contains the api to use on the model

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

Download keymg

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

How to add to project

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.

Versions

Version
1.0.CR1 Jul 27, 2011