MiksiloLspServer

License	GPL-3.0
Categories	KeY Data Data Formats Formal Verification
GroupId	com.github.keyboardDrummer
ArtifactId	miksilolspserver_2.12
Last Version	1.0
Release Date	Oct 22, 2018
Type	jar
Description	MiksiloLspServer MiksiloLspServer
Project URL	http://keyboarddrummer.github.io/Miksilo/
Project Organization	com.github.keyboardDrummer
Source Code Management	https://github.com/keyboardDrummer/Miksilo

Download miksilolspserver_2.12

Filename	Size
miksilolspserver_2.12-1.0.pom
miksilolspserver_2.12-1.0.jar	3 MB
miksilolspserver_2.12-1.0-sources.jar	426 KB
miksilolspserver_2.12-1.0-javadoc.jar	5 MB

How to add to project

Apache Maven

<!-- 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>

Gradle Groovy

// https://jarcasting.com/artifacts/com.github.keyboardDrummer/miksilolspserver_2.12/
implementation 'com.github.keyboardDrummer:miksilolspserver_2.12:1.0'

Gradle Kotlin

// https://jarcasting.com/artifacts/com.github.keyboardDrummer/miksilolspserver_2.12/
implementation ("com.github.keyboardDrummer:miksilolspserver_2.12:1.0")

Apache Buildr

'com.github.keyboardDrummer:miksilolspserver_2.12:jar:1.0'

Apache Ivy

<dependency org="com.github.keyboardDrummer" name="miksilolspserver_2.12" rev="1.0">
  <artifact name="miksilolspserver_2.12" type="jar" />
</dependency>

Groovy Grape

@Grapes(
@Grab(group='com.github.keyboardDrummer', module='miksilolspserver_2.12', version='1.0')
)

Scala SBT

libraryDependencies += "com.github.keyboardDrummer" % "miksilolspserver_2.12" % "1.0"

Leiningen

[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 Oct 22, 2018