| License |
License |
|---|---|
| Categories |
CategoriesKeY Data Data Formats Formal Verification |
| GroupId | GroupIdcom.github.keyboardDrummer |
| ArtifactId | ArtifactIdlspprotocol_sjs0.6_2.13 |
| Last Version | Last Version0.1.6 |
| Release Date | Release Date |
| Type | Typejar |
| Description |
DescriptionLSPProtocol
LSPProtocol
|
| Project URL |
Project URL |
| Project Organization |
Project Organization |
| Source Code Management |
Source Code Management |
JarCasting<!-- 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"]| 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 |
| 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 |