Last Version

editorParser 0.1.6

editorParser

License

License

MIT
Categories

Categories

KeY Data Data Formats Formal Verification
GroupId

GroupId

com.github.keyboardDrummer
ArtifactId

ArtifactId

editorparser_sjs0.6_2.13
Version

Version

0.1.6
Type

Type

jar
Description

Description

editorParser
editorParser
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 editorparser_sjs0.6_2.13 0.1.6


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

Dependencies

compile (2)

Group / Artifact Type Version
org.scala-lang : scala-library jar 2.13.1
org.scala-js : scalajs-library_2.13 jar 0.6.32

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.