keywords-Shift

License	Apache
Categories	KeY Data Data Formats Formal Verification
GroupId	com.thoughtworks.dsl
ArtifactId	keywords-shift_2.13.0-M4
Last Version	1.3.1+10-84868c21
Release Date	Jun 11, 2019
Type	jar
Description	keywords-Shift keywords-Shift
Project URL	https://github.com/ThoughtWorksInc/Dsl.scala
Project Organization	com.thoughtworks.dsl
Source Code Management	https://github.com/ThoughtWorksInc/Dsl.scala

Download keywords-shift_2.13.0-M4

Filename	Size
keywords-shift_2.13.0-M4-1.3.1+10-84868c21.pom
keywords-shift_2.13.0-M4-1.3.1+10-84868c21.jar	20 KB
keywords-shift_2.13.0-M4-1.3.1+10-84868c21-sources.jar	1 KB
keywords-shift_2.13.0-M4-1.3.1+10-84868c21-javadoc.jar	1 MB

How to add to project

Apache Maven

<!-- https://jarcasting.com/artifacts/com.thoughtworks.dsl/keywords-shift_2.13.0-M4/ -->
<dependency>
    <groupId>com.thoughtworks.dsl</groupId>
    <artifactId>keywords-shift_2.13.0-M4</artifactId>
    <version>1.3.1+10-84868c21</version>
</dependency>

Gradle Groovy

// https://jarcasting.com/artifacts/com.thoughtworks.dsl/keywords-shift_2.13.0-M4/
implementation 'com.thoughtworks.dsl:keywords-shift_2.13.0-M4:1.3.1+10-84868c21'

Gradle Kotlin

// https://jarcasting.com/artifacts/com.thoughtworks.dsl/keywords-shift_2.13.0-M4/
implementation ("com.thoughtworks.dsl:keywords-shift_2.13.0-M4:1.3.1+10-84868c21")

Apache Buildr

'com.thoughtworks.dsl:keywords-shift_2.13.0-M4:jar:1.3.1+10-84868c21'

Apache Ivy

<dependency org="com.thoughtworks.dsl" name="keywords-shift_2.13.0-M4" rev="1.3.1+10-84868c21">
  <artifact name="keywords-shift_2.13.0-M4" type="jar" />
</dependency>

Groovy Grape

@Grapes(
@Grab(group='com.thoughtworks.dsl', module='keywords-shift_2.13.0-M4', version='1.3.1+10-84868c21')
)

Scala SBT

libraryDependencies += "com.thoughtworks.dsl" % "keywords-shift_2.13.0-M4" % "1.3.1+10-84868c21"

Leiningen

[com.thoughtworks.dsl/keywords-shift_2.13.0-M4 "1.3.1+10-84868c21"]

Dependencies

compile (2)

Group / Artifact	Type	Version
org.scala-lang : scala-library	jar	2.13.0-M4
com.thoughtworks.dsl : dsl_2.13.0-M4	jar	1.3.1+10-84868c21

Project Modules

There are no modules declared in this project.

ThoughtWorks Incubator

This is ThoughtWorks' sandbox GitHub Organization for short-term experiments. For our main Github organisation, please visit @thoughtworks

Versions

Version
1.3.1+10-84868c21 Jun 11, 2019
1.3.1+8-fafc6d21 Jun 10, 2019
1.3.1+6-0e944675 Jun 4, 2019
1.3.1+4-8e4fabd4 Jun 4, 2019
1.3.1 Jun 4, 2019
1.3.0+21-07ec26b4 Jun 4, 2019
1.3.0+18-90969cfc Jun 3, 2019
1.3.0+16-22017758 Jun 3, 2019
1.3.0+14-3ba1e297 Jun 3, 2019
1.3.0+12-086c7cfd May 26, 2019
1.3.0+10-92aa3e16 May 26, 2019
1.3.0+8-70bbe4c5 May 23, 2019
1.3.0+5-eef185af May 22, 2019
1.3.0+4-5d992e46 May 22, 2019
1.3.0+2-095000a0 May 21, 2019
1.3.0+1-9a0c56c6 May 21, 2019
1.3.0 May 21, 2019
1.2.0+22-af129ac9 May 21, 2019
1.2.0+20-59ab9dfc May 21, 2019
1.2.0+14-7a373cbd May 20, 2019
1.2.0+13-f57b64ea May 20, 2019
1.2.0+10-1f03ec61 May 17, 2019
1.2.0+9-38dca16a May 17, 2019
1.2.0+8-5e1f353f May 17, 2019
1.2.0+7-384ee633 May 17, 2019
1.2.0+6-f489f05f May 17, 2019
1.2.0+5-d331cfe8 May 16, 2019
1.2.0+3-f5ef651b May 16, 2019
1.2.0+2-f37ec2f2 May 16, 2019
1.2.0+1-d85d16ba May 16, 2019
1.2.0 May 16, 2019
1.1.1+29-c7067d05 Apr 30, 2019
1.1.1+28-9ce8d0ec Apr 29, 2019
1.1.1+26-f23b62e5 Apr 28, 2019
1.1.1+24-e41f59f4 Apr 28, 2019
1.1.1+23-b7dac581 Apr 27, 2019
1.1.1+21-1c59a962 Apr 26, 2019
1.1.1+19-76573a4b Apr 15, 2019
1.1.1+19-a8540fe4 Apr 16, 2019
1.1.1+18-0516ac07 Apr 11, 2019
1.1.1+4-1b838f6a Apr 4, 2019
1.1.1 Apr 4, 2019
1.1.0+2-023c79d6 Apr 3, 2019
1.1.0 Apr 3, 2019
1.0.0-2-ddbc1c14 Mar 31, 2019
1.0.0+10-85749ba6 Apr 3, 2019
1.0.0+8-a1cac1bb Apr 3, 2019
1.0.0+6-cac4f316 Mar 31, 2019
1.0.0+5-80c67eb9 Mar 31, 2019
1.0.0 Mar 28, 2019
1.0.0-RC22-52-af063f91 Mar 27, 2019
1.0.0-RC22-43-199595f6 Mar 25, 2019
1.0.0-RC22-41-7fd570b9 Mar 15, 2019
1.0.0-RC22-39-837d91c3 Mar 15, 2019
1.0.0-RC22-38-7c8f0197 Mar 15, 2019
1.0.0-RC22+37-2d1f6689 Mar 15, 2019
1.0.0-RC22+36-6a0631d6 Mar 15, 2019
1.0.0-RC22+35-5d731d45 Mar 14, 2019
1.0.0-RC22+34-d5c0d2a1 Mar 14, 2019
1.0.0-RC22 Mar 10, 2019
1.0.0-RC21 Oct 10, 2018
1.0.0-RC20 Sep 15, 2018
1.0.0-RC19 Sep 13, 2018
1.0.0-RC18 Sep 11, 2018
1.0.0-RC17 Sep 3, 2018
1.0.0-RC16 Aug 28, 2018
1.0.0-RC15 Aug 15, 2018