JarCasting
JarCasting JarCasting

KeyMG API

KeyMG API contains the api to use on the model

License

License
Categories

Categories

KeY Data Data Formats Formal Verification
GroupId

GroupId

org.keymg
ArtifactId

ArtifactId

keymg-api
Last Version

Last Version

1.0.CR1
Release Date

Release Date
Type

Type

jar
Description

Description

KeyMG API
KeyMG API contains the api to use on the model

Download keymg-api

Filename Size
keymg-api-1.0.CR1.pom
keymg-api-1.0.CR1.jar 6 KB
keymg-api-1.0.CR1-sources.jar 4 KB
keymg-api-1.0.CR1-javadoc.jar 46 KB
Browse

How to add to project

<!-- https://jarcasting.com/artifacts/org.keymg/keymg-api/ -->
<dependency>
    <groupId>org.keymg</groupId>
    <artifactId>keymg-api</artifactId>
    <version>1.0.CR1</version>
</dependency>
// https://jarcasting.com/artifacts/org.keymg/keymg-api/
implementation 'org.keymg:keymg-api:1.0.CR1'
// https://jarcasting.com/artifacts/org.keymg/keymg-api/
implementation ("org.keymg:keymg-api:1.0.CR1")
'org.keymg:keymg-api:jar:1.0.CR1'
<dependency org="org.keymg" name="keymg-api" rev="1.0.CR1">
  <artifact name="keymg-api" type="jar" />
</dependency>
@Grapes(
@Grab(group='org.keymg', module='keymg-api', version='1.0.CR1')
)
libraryDependencies += "org.keymg" % "keymg-api" % "1.0.CR1"
[org.keymg/keymg-api "1.0.CR1"]

Dependencies

compile (4)

Group / Artifact Type Version
org.codehaus » keymg-core jar 1.0.CR1
org.codehaus » keymg-model jar 1.0.CR1
org.apache.httpcomponents : httpclient jar 4.1.1
commons-logging : commons-logging jar 1.1.1

test (1)

Group / Artifact Type Version
junit : junit jar 4.8.1

Project Modules

There are no modules declared in this project.

Versions

Version
1.0.CR1