License |
License |
---|---|
Categories |
CategoriesKeY Data Data Formats Formal Verification |
GroupId | GroupIdio.github.key-del-jeeinho |
ArtifactId | ArtifactIdmessa-lib |
Last Version | Last Version2.1.0-RELEASE |
Release Date | Release Date |
Type | Typepom.sha512 |
Description |
DescriptionMessa Library
light version of bento-iplease
|
Project URL |
Project URL |
Source Code Management |
Source Code Management |
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 |
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 |