Semantic Turkey Builder

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

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

Зависимости

compile (1)

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

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

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

Версия
11.1 23 июн. 2022 г.
10.2.1 7 февр. 2022 г.
10.2 26 янв. 2022 г.
10.1.1 28 окт. 2021 г.
10.1 21 сент. 2021 г.
10.0 2 авг. 2021 г.
9.1 28 апр. 2021 г.
9.0 17 мар. 2021 г.
8.0.1 9 окт. 2020 г.
8.0 29 июл. 2020 г.
7.0 6 февр. 2020 г.
6.0 27 июн. 2019 г.
5.0 30 янв. 2019 г.
4.0.2 27 июл. 2018 г.
4.0 23 июл. 2018 г.
3.0 8 февр. 2018 г.
2.0 31 окт. 2017 г.
1.0 28 сент. 2017 г.
0.12 14 янв. 2016 г.
0.11 4 мая 2015 г.
0.10 22 сент. 2014 г.