<dependency>
<groupId>org.overturetool.ide.plugins.features</groupId>
<artifactId>org.overture.ide.plugins.features.coverageeditor</artifactId>
<version>2.3.8</version>
<type>eclipse-feature</type>
</dependency>
implementation 'org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.coverageeditor:2.3.8'
implementation("org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.coverageeditor:2.3.8")
libraryDependencies += "org.overturetool.ide.plugins.features" % "org.overture.ide.plugins.features.coverageeditor" % "2.3.8"
@Grapes(
@Grab(group='org.overturetool.ide.plugins.features', module='org.overture.ide.plugins.features.coverageeditor', version='2.3.8')
)
<dependency org="org.overturetool.ide.plugins.features" name="org.overture.ide.plugins.features.coverageeditor" rev="2.3.8" />
[org.overturetool.ide.plugins.features/org.overture.ide.plugins.features.coverageeditor "2.3.8"]
<parent> <groupId>org.overturetool.ide.plugins</groupId> <artifactId>org.overture.ide.plugins.features</artifactId> <version>2.3.8</version> </parent>