LSPProtocol

License	MIT
Categories	KeY Data Data Formats Formal Verification
GroupId	com.github.keyboardDrummer
ArtifactId	lspprotocol_sjs1_2.13
Last Version	0.1.9
Release Date	Feb 27, 2021
Type	jar
Description	LSPProtocol LSPProtocol
Project URL	http://keyboarddrummer.github.io/Miksilo/
Project Organization	com.github.keyboardDrummer
Source Code Management	https://github.com/keyboardDrummer/Miksilo

Download lspprotocol_sjs1_2.13

Filename	Size
lspprotocol_sjs1_2.13-0.1.9.pom
lspprotocol_sjs1_2.13-0.1.9.jar	978 KB
lspprotocol_sjs1_2.13-0.1.9-sources.jar	24 KB
lspprotocol_sjs1_2.13-0.1.9-javadoc.jar	1 MB

How to add to project

Apache Maven

<!-- https://jarcasting.com/artifacts/com.github.keyboardDrummer/lspprotocol_sjs1_2.13/ -->
<dependency>
    <groupId>com.github.keyboardDrummer</groupId>
    <artifactId>lspprotocol_sjs1_2.13</artifactId>
    <version>0.1.9</version>
</dependency>

Gradle Groovy

// https://jarcasting.com/artifacts/com.github.keyboardDrummer/lspprotocol_sjs1_2.13/
implementation 'com.github.keyboardDrummer:lspprotocol_sjs1_2.13:0.1.9'

Gradle Kotlin

// https://jarcasting.com/artifacts/com.github.keyboardDrummer/lspprotocol_sjs1_2.13/
implementation ("com.github.keyboardDrummer:lspprotocol_sjs1_2.13:0.1.9")

Apache Buildr

'com.github.keyboardDrummer:lspprotocol_sjs1_2.13:jar:0.1.9'

Apache Ivy

<dependency org="com.github.keyboardDrummer" name="lspprotocol_sjs1_2.13" rev="0.1.9">
  <artifact name="lspprotocol_sjs1_2.13" type="jar" />
</dependency>

Groovy Grape

@Grapes(
@Grab(group='com.github.keyboardDrummer', module='lspprotocol_sjs1_2.13', version='0.1.9')
)

Scala SBT

libraryDependencies += "com.github.keyboardDrummer" % "lspprotocol_sjs1_2.13" % "0.1.9"

Leiningen

[com.github.keyboardDrummer/lspprotocol_sjs1_2.13 "0.1.9"]

Dependencies

compile (4)

Group / Artifact	Type	Version
org.scala-lang : scala-library	jar	2.13.1
com.github.keyboardDrummer : editorparser_sjs1_2.13	jar	0.1.9
org.scala-js : scalajs-library_2.13	jar	1.0.1
com.malliina : play-json_sjs1_2.13	jar	2.8.1

test (2)

Group / Artifact	Type	Version
org.scala-js : scalajs-test-bridge_2.13	jar	1.0.1
org.scalatest : scalatest_sjs1_2.13	jar	3.1.1

Project Modules

There are no modules declared in this project.

Versions

Version
0.1.9 Feb 27, 2021
0.1.8 Aug 15, 2020
0.1.7 May 12, 2020