<dependency>
<groupId>org.overturetool.ide.plugins</groupId>
<artifactId>org.overture.ide.plugins.quickinterpreter</artifactId>
<version>2.4.2</version>
<type>eclipse-plugin</type>
</dependency>
implementation 'org.overturetool.ide.plugins:org.overture.ide.plugins.quickinterpreter:2.4.2'
implementation("org.overturetool.ide.plugins:org.overture.ide.plugins.quickinterpreter:2.4.2")
libraryDependencies += "org.overturetool.ide.plugins" % "org.overture.ide.plugins.quickinterpreter" % "2.4.2"
@Grapes(
@Grab(group='org.overturetool.ide.plugins', module='org.overture.ide.plugins.quickinterpreter', version='2.4.2')
)
<dependency org="org.overturetool.ide.plugins" name="org.overture.ide.plugins.quickinterpreter" rev="2.4.2" />
<parent> <groupId>org.overturetool.ide</groupId> <artifactId>org.overture.ide.plugins</artifactId> <version>2.4.2</version> </parent>