keyplugin-spring-boot-starter

Spring Boot Support for keyplugin

License	The MIT License (MIT)
Categories	Spring Boot Container Microservices KeY Data Data Formats Formal Verification
GroupId	com.github.xiaoxiaoreader
ArtifactId	keyplugin-spring-boot-starter
Last Version	1.1.1
Release Date	Jan 9, 2020
Type	jar
Description	keyplugin-spring-boot-starter Spring Boot Support for keyplugin
Project URL	https://github.com/XiaoXiaoReader/keyplugin-spring-boot-starter/

Download keyplugin-spring-boot-starter

Filename	Size
keyplugin-spring-boot-starter-1.1.1.pom
keyplugin-spring-boot-starter-1.1.1.jar	18 KB
keyplugin-spring-boot-starter-1.1.1-sources.jar	11 KB
keyplugin-spring-boot-starter-1.1.1-javadoc.jar	105 KB

How to add to project

Apache Maven

<!-- https://jarcasting.com/artifacts/com.github.xiaoxiaoreader/keyplugin-spring-boot-starter/ -->
<dependency>
    <groupId>com.github.xiaoxiaoreader</groupId>
    <artifactId>keyplugin-spring-boot-starter</artifactId>
    <version>1.1.1</version>
</dependency>

Gradle Groovy

// https://jarcasting.com/artifacts/com.github.xiaoxiaoreader/keyplugin-spring-boot-starter/
implementation 'com.github.xiaoxiaoreader:keyplugin-spring-boot-starter:1.1.1'

Gradle Kotlin

// https://jarcasting.com/artifacts/com.github.xiaoxiaoreader/keyplugin-spring-boot-starter/
implementation ("com.github.xiaoxiaoreader:keyplugin-spring-boot-starter:1.1.1")

Apache Buildr

'com.github.xiaoxiaoreader:keyplugin-spring-boot-starter:jar:1.1.1'

Apache Ivy

<dependency org="com.github.xiaoxiaoreader" name="keyplugin-spring-boot-starter" rev="1.1.1">
  <artifact name="keyplugin-spring-boot-starter" type="jar" />
</dependency>

Groovy Grape

@Grapes(
@Grab(group='com.github.xiaoxiaoreader', module='keyplugin-spring-boot-starter', version='1.1.1')
)

Scala SBT

libraryDependencies += "com.github.xiaoxiaoreader" % "keyplugin-spring-boot-starter" % "1.1.1"

Leiningen

[com.github.xiaoxiaoreader/keyplugin-spring-boot-starter "1.1.1"]

Dependencies

compile (5)

Group / Artifact	Type	Version
org.springframework.boot : spring-boot-autoconfigure	jar	2.2.2.RELEASE
org.springframework.boot : spring-boot-configuration-processor Optional	jar	2.2.2.RELEASE
org.springframework : spring-core Optional	jar	5.2.2.RELEASE
org.mybatis.spring.boot : mybatis-spring-boot-autoconfigure Optional	jar	2.1.1
org.mybatis : mybatis Optional	jar	3.5.3

Project Modules

There are no modules declared in this project.

Versions

Version
1.1.1 Jan 9, 2020
1.1.0 Jan 9, 2020