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