JarCasting
JarCasting JarCasting

KeyMG API

KeyMG API contains the api to use on the model

Лицензия

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

Категории

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

Группа

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

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

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

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

1.0.CR1
Дата

Дата
Тип

Тип

war
Описание

Описание

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

Скачать keymg

Имя Файла Размер
keymg-1.0.CR1.pom
keymg-1.0.CR1.war 2 KB
Обзор

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

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

Зависимости

Библиотека не имеет зависимостей. Это самодостаточное приложение, которое не зависит ни от каких других библиотек.

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

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

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

Версия
1.0.CR1