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

Semantic Turkey Builder 9.1

Лицензия	Лицензия BSD-3-Clause
Категории	Категории Ant Компиляция и сборка KeY Данные Data Formats Formal Verification
Группа	Группа it.uniroma2.art.semanticturkey
Идентификатор	Идентификатор st-builder
Версия	Версия 9.1
Тип	Тип 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 9.1

Имя Файла	Размер
st-builder-9.1.pom	9 KB
st-builder-9.1-st.cfg	96 bytes
st-builder-9.1-features.xml	10 KB
Обзор

Зависимости

compile (1)

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

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