Key Connect API 1.0.0

API Spec and Client for Key Connect Server

License	The Apache License, Version 2.0
Categories	KeY Data Data Formats Formal Verification
GroupId	app.keyconnect.api
ArtifactId	keyconnect-api
Version	1.0.0
Type	jar
Description	Key Connect API API Spec and Client for Key Connect Server

Download keyconnect-api 1.0.0

Filename	Size
keyconnect-api-1.0.0.pom
keyconnect-api-1.0.0.jar	138 KB
keyconnect-api-1.0.0-sources.jar	65 KB
keyconnect-api-1.0.0-resources.zip	161 KB
keyconnect-api-1.0.0-javadoc.jar	520 KB

Apache Maven

<!-- https://jarcasting.com/artifacts/app.keyconnect.api/keyconnect-api/ -->
<dependency>
    <groupId>app.keyconnect.api</groupId>
    <artifactId>keyconnect-api</artifactId>
    <version>1.0.0</version>
</dependency>

Gradle Groovy

// https://jarcasting.com/artifacts/app.keyconnect.api/keyconnect-api/
implementation 'app.keyconnect.api:keyconnect-api:1.0.0'

Gradle Kotlin

// https://jarcasting.com/artifacts/app.keyconnect.api/keyconnect-api/
implementation ("app.keyconnect.api:keyconnect-api:1.0.0")

Apache Buildr

'app.keyconnect.api:keyconnect-api:jar:1.0.0'

Apache Ivy

<dependency org="app.keyconnect.api" name="keyconnect-api" rev="1.0.0">
  <artifact name="keyconnect-api" type="jar" />
</dependency>

Groovy Grape

@Grapes(
@Grab(group='app.keyconnect.api', module='keyconnect-api', version='1.0.0')
)

Scala SBT

libraryDependencies += "app.keyconnect.api" % "keyconnect-api" % "1.0.0"

Leiningen

[app.keyconnect.api/keyconnect-api "1.0.0"]

Dependencies

compile (6)

Group / Artifact	Type	Version
com.squareup.okhttp3 : okhttp	jar	4.8.1
com.squareup.okhttp3 : logging-interceptor	jar	4.8.1
com.google.code.gson : gson	jar	2.8.6
io.gsonfire : gson-fire	jar	1.8.4
javax.annotation : javax.annotation-api	jar	1.3.2
com.google.guava : guava	jar	29.0-jre

provided (2)

Group / Artifact	Type	Version
org.openapitools : openapi-generator	jar	5.0.0
org.openapitools : openapi-generator-maven-plugin	jar	5.0.0

test (1)

Group / Artifact	Type	Version
junit : junit	jar	4.13.1

Project Modules

There are no modules declared in this project.