o

org.overture.ide.plugins.features.coverageeditor

Files download
File Operation
org.overture.ide.plugins.features.coverageeditor-2.7.2.jar download
org.overture.ide.plugins.features.coverageeditor-2.7.2.pom download
Apache Maven
<dependency>
  <groupId>org.overturetool.ide.plugins.features</groupId>
  <artifactId>org.overture.ide.plugins.features.coverageeditor</artifactId>
  <version>2.7.2</version>
  <type>eclipse-feature</type>
</dependency>
Gradle Groovy
implementation 'org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.coverageeditor:2.7.2'
Gradle Kotlin
implementation("org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.coverageeditor:2.7.2")
Scala SBT
libraryDependencies += "org.overturetool.ide.plugins.features" % "org.overture.ide.plugins.features.coverageeditor" % "2.7.2"
Groovy Grape
@Grapes(
  @Grab(group='org.overturetool.ide.plugins.features', module='org.overture.ide.plugins.features.coverageeditor', version='2.7.2')
)
Apache Ivy
<dependency org="org.overturetool.ide.plugins.features" name="org.overture.ide.plugins.features.coverageeditor" rev="2.7.2" />
Leiningen
[org.overturetool.ide.plugins.features/org.overture.ide.plugins.features.coverageeditor "2.7.2"]
Apache Buildr
'org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.coverageeditor:jar:2.7.2'