Last Version

LSPProtocol 0.1.6

LSPProtocol

License

License

MIT
Categories

Categories

KeY Data Data Formats Formal Verification
GroupId

GroupId

com.github.keyboardDrummer
ArtifactId

ArtifactId

lspprotocol_sjs0.6_2.13
Version

Version

0.1.6
Type

Type

jar
Description

Description

LSPProtocol
LSPProtocol
Project URL

Project URL

http://keyboarddrummer.github.io/Miksilo/
Project Organization

Project Organization

com.github.keyboardDrummer
Source Code Management

Source Code Management

https://github.com/keyboardDrummer/Miksilo

Download lspprotocol_sjs0.6_2.13 0.1.6


<!-- https://jarcasting.com/artifacts/com.github.keyboardDrummer/lspprotocol_sjs0.6_2.13/ -->
<dependency>
    <groupId>com.github.keyboardDrummer</groupId>
    <artifactId>lspprotocol_sjs0.6_2.13</artifactId>
    <version>0.1.6</version>
</dependency>
// https://jarcasting.com/artifacts/com.github.keyboardDrummer/lspprotocol_sjs0.6_2.13/
implementation 'com.github.keyboardDrummer:lspprotocol_sjs0.6_2.13:0.1.6'
// https://jarcasting.com/artifacts/com.github.keyboardDrummer/lspprotocol_sjs0.6_2.13/
implementation ("com.github.keyboardDrummer:lspprotocol_sjs0.6_2.13:0.1.6")
'com.github.keyboardDrummer:lspprotocol_sjs0.6_2.13:jar:0.1.6'
<dependency org="com.github.keyboardDrummer" name="lspprotocol_sjs0.6_2.13" rev="0.1.6">
  <artifact name="lspprotocol_sjs0.6_2.13" type="jar" />
</dependency>
@Grapes(
@Grab(group='com.github.keyboardDrummer', module='lspprotocol_sjs0.6_2.13', version='0.1.6')
)
libraryDependencies += "com.github.keyboardDrummer" % "lspprotocol_sjs0.6_2.13" % "0.1.6"
[com.github.keyboardDrummer/lspprotocol_sjs0.6_2.13 "0.1.6"]

Dependencies

compile (4)

Group / Artifact Type Version
org.scala-lang : scala-library jar 2.13.1
com.github.keyboardDrummer : editorparser_sjs0.6_2.13 jar 0.1.6
org.scala-js : scalajs-library_2.13 jar 0.6.32
com.typesafe.play : play-json_sjs0.6_2.13 jar 2.8.1

test (2)

Group / Artifact Type Version
org.scala-js : scalajs-test-bridge_2.13 jar 0.6.32
org.scalatest : scalatest_sjs0.6_2.13 jar 3.1.0

Project Modules

There are no modules declared in this project.