Overture IDE VDM-RT (RealTime) Top-level 3.0.2

<!-- https://jarcasting.com/artifacts/org.overturetool.ide/org.overture.ide.vdmrt/ -->
<dependency>
    <groupId>org.overturetool.ide</groupId>
    <artifactId>org.overture.ide.vdmrt</artifactId>
    <version>3.0.2</version>
    <type>pom</type>
</dependency>

// https://jarcasting.com/artifacts/org.overturetool.ide/org.overture.ide.vdmrt/
implementation 'org.overturetool.ide:org.overture.ide.vdmrt:3.0.2'

// https://jarcasting.com/artifacts/org.overturetool.ide/org.overture.ide.vdmrt/
implementation ("org.overturetool.ide:org.overture.ide.vdmrt:3.0.2")

'org.overturetool.ide:org.overture.ide.vdmrt:pom:3.0.2'

<dependency org="org.overturetool.ide" name="org.overture.ide.vdmrt" rev="3.0.2">
  <artifact name="org.overture.ide.vdmrt" type="pom" />
</dependency>

@Grapes(
@Grab(group='org.overturetool.ide', module='org.overture.ide.vdmrt', version='3.0.2')
)

libraryDependencies += "org.overturetool.ide" % "org.overture.ide.vdmrt" % "3.0.2"

[org.overturetool.ide/org.overture.ide.vdmrt "3.0.2"]