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

Bento Common API 1.0.0-rc1

Лицензия	Лицензия The Apache License, Version 2.0
Категории	Категории KeY Данные Data Formats Formal Verification
Группа	Группа io.github.key-del-jeeinho
Идентификатор	Идентификатор bento-common-api
Версия	Версия 1.0.0-rc1
Тип	Тип 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 1.0.0-rc1

Имя Файла	Размер
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

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