Messa Library

light version of bento-iplease

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 messa-lib
Last Version	Last Version 2.1.0-RELEASE
Release Date	Release Date May 27, 2022
Type	Type pom.sha512
Description	Description Messa Library light version of bento-iplease
Project URL	Project URL https://github.com/key-del-jeeinho/messa-lib
Source Code Management	Source Code Management https://github.com/key-del-jeeinho/messa-lib/

Download messa-lib

Filename	Size
messa-lib-2.1.0-RELEASE.pom
messa-lib-2.1.0-RELEASE-sources.jar	33 KB
messa-lib-2.1.0-RELEASE-javadoc.jar	261 bytes
Browse

Dependencies

runtime (5)

Group / Artifact	Type	Version
com.fasterxml.jackson.core : jackson-databind	jar	2.13.3
com.fasterxml.jackson.module : jackson-module-kotlin	jar	2.13.3
com.fasterxml.jackson.datatype : jackson-datatype-jsr310	jar	2.13.3
org.jetbrains.kotlin : kotlin-reflect	jar	1.5.30
org.jetbrains.kotlin : kotlin-stdlib	jar	1.5.30

Project Modules

There are no modules declared in this project.

Versions

Version
2.1.0-RELEASE May 27, 2022
2.0.0-RELEASE May 27, 2022
1.0.3-RELEASE May 24, 2022
1.0.2-RELEASE May 24, 2022
1.0.1-RELEASE May 21, 2022
1.0.0-rc1 May 21, 2022