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

Semantic Turkey Builder 10.0

Лицензия	Лицензия BSD-3-Clause
Категории	Категории Ant Компиляция и сборка KeY Данные Data Formats Formal Verification
Группа	Группа it.uniroma2.art.semanticturkey
Идентификатор	Идентификатор st-builder
Версия	Версия 10.0
Тип	Тип cfg
Описание	Описание Semantic Turkey Builder Semantic turkey builder subproject. It creates the karaf archive with the application already deployed.
Организация-разработчик	Организация-разработчик ART Group, University of Rome, Tor Vergata

Скачать st-builder 10.0

Имя Файла	Размер
st-builder-10.0.pom	14 KB
st-builder-10.0-st.cfg	97 bytes
st-builder-10.0-features.xml	11 KB
Обзор

Зависимости

compile (1)

Идентификатор библиотеки	Тип	Версия
org.apache.karaf : apache-karaf	zip	4.2.1

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