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

KeyMG Core 1.0.CR1

KeyMG Core contains the main integration classes

Лицензия

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

Категории

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

Группа

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

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

keymg-core
Версия

Версия

1.0.CR1
Тип

Тип

jar
Описание

Описание

KeyMG Core
KeyMG Core contains the main integration classes

Скачать keymg-core 1.0.CR1

Имя Файла Размер
keymg-core-1.0.CR1.pom
keymg-core-1.0.CR1.jar 88 KB
keymg-core-1.0.CR1-sources.jar 70 KB
keymg-core-1.0.CR1-javadoc.jar 276 KB
Обзор 

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

Зависимости

compile (2)

Идентификатор библиотеки Тип Версия
org.codehaus » keymg-model jar 1.0.CR1
org.apache » xmlsec jar 1.4.3

test (1)

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

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

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