Bento Common API

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

License	License The Apache License, Version 2.0
Categories	Categories KeY Data Data Formats Formal Verification
GroupId	GroupId io.github.key-del-jeeinho
ArtifactId	ArtifactId bento-common-api
Last Version	Last Version 1.0.0-rc1
Release Date	Release Date May 18, 2022
Type	Type pom.sha512
Description	Description Bento Common API Component that collects the global public interfaces in the Bento library.
Project URL	Project URL https://github.com/key-del-jeeinho/bento-lib
Source Code Management	Source Code Management https://github.com/key-del-jeeinho/bento-lib/

Download bento-common-api

Filename	Size
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
Browse

Dependencies

runtime (1)

Group / Artifact	Type	Version
org.jetbrains.kotlin : kotlin-stdlib-jdk8	jar	1.5.10

Project Modules

There are no modules declared in this project.

Versions

Version
1.0.0-rc1 May 18, 2022