Last Version

keywords-Scope 1.0.0-RC3

keywords-Scope

License

License

Categories

Categories

KeY Data Data Formats Formal Verification
GroupId

GroupId

com.thoughtworks.dsl
ArtifactId

ArtifactId

keywords-scope_2.11
Version

Version

1.0.0-RC3
Type

Type

jar
Description

Description

keywords-Scope
keywords-Scope
Project URL

Project URL

https://github.com/ThoughtWorksInc/Dsl.scala
Project Organization

Project Organization

com.thoughtworks.dsl
Source Code Management

Source Code Management

https://github.com/ThoughtWorksInc/Dsl.scala

Download keywords-scope_2.11 1.0.0-RC3


<!-- https://jarcasting.com/artifacts/com.thoughtworks.dsl/keywords-scope_2.11/ -->
<dependency>
    <groupId>com.thoughtworks.dsl</groupId>
    <artifactId>keywords-scope_2.11</artifactId>
    <version>1.0.0-RC3</version>
</dependency>
// https://jarcasting.com/artifacts/com.thoughtworks.dsl/keywords-scope_2.11/
implementation 'com.thoughtworks.dsl:keywords-scope_2.11:1.0.0-RC3'
// https://jarcasting.com/artifacts/com.thoughtworks.dsl/keywords-scope_2.11/
implementation ("com.thoughtworks.dsl:keywords-scope_2.11:1.0.0-RC3")
'com.thoughtworks.dsl:keywords-scope_2.11:jar:1.0.0-RC3'
<dependency org="com.thoughtworks.dsl" name="keywords-scope_2.11" rev="1.0.0-RC3">
  <artifact name="keywords-scope_2.11" type="jar" />
</dependency>
@Grapes(
@Grab(group='com.thoughtworks.dsl', module='keywords-scope_2.11', version='1.0.0-RC3')
)
libraryDependencies += "com.thoughtworks.dsl" % "keywords-scope_2.11" % "1.0.0-RC3"
[com.thoughtworks.dsl/keywords-scope_2.11 "1.0.0-RC3"]

Dependencies

compile (3)

Group / Artifact Type Version
org.scala-lang : scala-library jar 2.11.12
com.thoughtworks.dsl : dsl_2.11 jar 1.0.0-RC3
com.thoughtworks.dsl : keywords-shift_2.11 jar 1.0.0-RC3

test (1)

Group / Artifact Type Version
com.thoughtworks.dsl : keywords-yield_2.11 jar 1.0.0-RC3

Project Modules

There are no modules declared in this project.