JarCasting
JarCasting JarCasting

KeyMG API

KeyMG API contains the api to use on the model

Лицензия

Лицензия
Категории

Категории

KeY Данные Data Formats Formal Verification
Группа

Группа

org.keymg
Идентификатор

Идентификатор

keymg-api
Последняя версия

Последняя версия

1.0.CR1
Дата

Дата
Тип

Тип

jar
Описание

Описание

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

Скачать keymg-api

Имя Файла Размер
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
Обзор

Как подключить последнюю версию

<!-- 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"]

Зависимости

compile (4)

Идентификатор библиотеки Тип Версия
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)

Идентификатор библиотеки Тип Версия
junit : junit jar 4.8.1

Модули Проекта

Данный проект не имеет модулей.

Версии библиотеки

Версия
1.0.CR1