Bento Common API

Component that collects the global public interfaces in the Bento library.

Лицензия	Лицензия The Apache License, Version 2.0
Категории	Категории KeY Данные Data Formats Formal Verification
Группа	Группа io.github.key-del-jeeinho
Идентификатор	Идентификатор bento-common-api
Последняя версия	Последняя версия 1.0.0-rc1
Дата	Дата 18 мая 2022 г.
Тип	Тип pom.sha512
Описание	Описание Bento Common API Component that collects the global public interfaces in the Bento library.
Ссылка на сайт	Ссылка на сайт https://github.com/key-del-jeeinho/bento-lib
Система контроля версий	Система контроля версий https://github.com/key-del-jeeinho/bento-lib/

Скачать bento-common-api

Имя Файла	Размер
bento-common-api-1.0.0-rc1.pom
bento-common-api-1.0.0-rc1-sources.jar	5 KB
bento-common-api-1.0.0-rc1-javadoc.jar	261 bytes
Обзор

Зависимости

runtime (1)

Идентификатор библиотеки	Тип	Версия
org.jetbrains.kotlin : kotlin-stdlib-jdk8	jar	1.5.10

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

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

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

Версия
1.0.0-rc1 18 мая 2022 г.