JarCasting
JarCasting JarCasting
Last Version

Overture IDE VDM-PP Top-level 3.0.2

Top level of the Overture IDE for VDM-PP

License

License
Categories

Categories

IDE Development Tools
GroupId

GroupId

org.overturetool.ide
ArtifactId

ArtifactId

org.overture.ide.vdmpp
Version

Version

3.0.2
Type

Type

pom
Description

Description

Overture IDE VDM-PP Top-level
Top level of the Overture IDE for VDM-PP
Project Organization

Project Organization

Overture

Download org.overture.ide.vdmpp 3.0.2

Filename Size
org.overture.ide.vdmpp-3.0.2.pom 828 bytes
Browse 

<!-- https://jarcasting.com/artifacts/org.overturetool.ide/org.overture.ide.vdmpp/ -->
<dependency>
    <groupId>org.overturetool.ide</groupId>
    <artifactId>org.overture.ide.vdmpp</artifactId>
    <version>3.0.2</version>
    <type>pom</type>
</dependency>
// https://jarcasting.com/artifacts/org.overturetool.ide/org.overture.ide.vdmpp/
implementation 'org.overturetool.ide:org.overture.ide.vdmpp:3.0.2'
// https://jarcasting.com/artifacts/org.overturetool.ide/org.overture.ide.vdmpp/
implementation ("org.overturetool.ide:org.overture.ide.vdmpp:3.0.2")
'org.overturetool.ide:org.overture.ide.vdmpp:pom:3.0.2'
<dependency org="org.overturetool.ide" name="org.overture.ide.vdmpp" rev="3.0.2">
  <artifact name="org.overture.ide.vdmpp" type="pom" />
</dependency>
@Grapes(
@Grab(group='org.overturetool.ide', module='org.overture.ide.vdmpp', version='3.0.2')
)
libraryDependencies += "org.overturetool.ide" % "org.overture.ide.vdmpp" % "3.0.2"
[org.overturetool.ide/org.overture.ide.vdmpp "3.0.2"]

Dependencies

test (1)

Group / Artifact Type Version
junit : junit jar 3.8.1

Project Modules

  • core
  • ui
  • debug