| License |
License |
|---|---|
| Categories |
CategoriesKeY Data Data Formats Formal Verification |
| GroupId | GroupIdcom.github.keyboardDrummer |
| ArtifactId | ArtifactIdeditorparser_2.13 |
| Last Version | Last Version0.1.9 |
| Release Date | Release Date |
| Type | Typejar |
| Description |
DescriptioneditorParser
editorParser
|
| Project URL |
Project URL |
| Project Organization |
Project Organization |
| Source Code Management |
Source Code Management |
| Filename | Size |
|---|---|
| editorparser_2.13-0.1.9.pom | |
| editorparser_2.13-0.1.9.jar | 604 KB |
| editorparser_2.13-0.1.9-sources.jar | 39 KB |
| editorparser_2.13-0.1.9-javadoc.jar | 1 MB |
| Browse |
JarCasting<!-- https://jarcasting.com/artifacts/com.github.keyboardDrummer/editorparser_2.13/ -->
<dependency>
<groupId>com.github.keyboardDrummer</groupId>
<artifactId>editorparser_2.13</artifactId>
<version>0.1.9</version>
</dependency>// https://jarcasting.com/artifacts/com.github.keyboardDrummer/editorparser_2.13/
implementation 'com.github.keyboardDrummer:editorparser_2.13:0.1.9'// https://jarcasting.com/artifacts/com.github.keyboardDrummer/editorparser_2.13/
implementation ("com.github.keyboardDrummer:editorparser_2.13:0.1.9")'com.github.keyboardDrummer:editorparser_2.13:jar:0.1.9'<dependency org="com.github.keyboardDrummer" name="editorparser_2.13" rev="0.1.9">
<artifact name="editorparser_2.13" type="jar" />
</dependency>@Grapes(
@Grab(group='com.github.keyboardDrummer', module='editorparser_2.13', version='0.1.9')
)libraryDependencies += "com.github.keyboardDrummer" % "editorparser_2.13" % "0.1.9"[com.github.keyboardDrummer/editorparser_2.13 "0.1.9"]| Group / Artifact | Type | Version |
|---|---|---|
| org.scala-lang : scala-library | jar | 2.13.1 |
| org.scala-lang : scala-reflect | jar | 2.13.1 |
| Group / Artifact | Type | Version |
|---|---|---|
| org.scalatest : scalatest_2.13 | jar | 3.1.1 |