MiksiloLspServer


License

License

Categories

Categories

KeY Data Data Formats Formal Verification
GroupId

GroupId

com.github.keyboardDrummer
ArtifactId

ArtifactId

miksilolspserver_2.12
Last Version

Last Version

1.0
Release Date

Release Date

Type

Type

jar
Description

Description

MiksiloLspServer
MiksiloLspServer
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 miksilolspserver_2.12

How to add to project

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

Dependencies

compile (11)

Group / Artifact Type Version
org.scala-lang : scala-compiler jar 2.12.3
org.scala-lang : scala-library jar 2.12.3
org.scala-lang.modules : scala-xml_2.12 jar 1.0.6
org.scala-lang.modules : scala-swing_2.12 jar 2.0.0
org.scala-lang.modules : scala-parser-combinators_2.12 jar 1.0.6
org.apache.commons : commons-math3 jar 3.5
com.google.guava : guava jar 18.0
io.github.shogowada : scala-json-rpc_2.12 jar 0.9.3
com.typesafe.play : play-json_2.12 jar 2.6.9
com.typesafe.scala-logging : scala-logging_2.12 jar 3.7.2
com.github.dragos : languageserver_2.12 jar 0.2.1

test (2)

Group / Artifact Type Version
org.scalatest : scalatest_2.12 jar 3.0.4
com.novocode : junit-interface jar 0.11

Project Modules

There are no modules declared in this project.

Versions

Version
1.0