How to add a POM dependency to Maven
POM as dependency in dependencyManagement
<dependency>
<groupId>org.overturetool</groupId>
<artifactId>ide</artifactId>
<version>3.0.2</version>
</dependency>
MVN
org.overturetool : ide
Maven & Gradle
Overture IDE Top-level · Super POM for all IDE (Eclipse) artifacts.
Copy
pom.xml
Table Of Contents
Latest Version
Choose a version of org.overturetool : ide to add to Maven - Latest Versions:
- Latest Stable: org.overture.ide.vdmsl
All Versions
Choose a version of org.overturetool : ide to add to Maven - All Versions:
| Version | Vulnerabilities | Updated | |
|---|---|---|---|
| 3.0.x |
ide-3.0.2
|
||
|
ide-3.0.0
|
|||
| 2.7.x |
ide-2.7.4
|
||
|
ide-2.7.2
|
|||
|
ide-2.7.0
|
|||
| 2.6.x |
ide-2.6.4
|
||
|
ide-2.6.2
|
|||
|
ide-2.6.0
|
|||
| 2.5.x |
ide-2.5.6
|
||
|
ide-2.5.4
|
|||
|
ide-2.5.2
|
|||
|
ide-2.5.0
|
|||
| 2.4.x |
ide-2.4.8
|
||
|
ide-2.4.6
|
|||
|
ide-2.4.4
|
|||
|
ide-2.4.2
|
|||
|
ide-2.4.0
|
|||
| 2.3.x |
ide-2.3.8
|
||
| org.overture.x |
ide-org.overture.ide.vdmsl
|
||
|
ide-org.overture.ide.vdmrt
|
|||
|
ide-org.overture.ide.vdmpp
|
|||
|
ide-org.overture.ide.ui
|
|||
|
ide-org.overture.ide.product
|
|||
|
ide-org.overture.ide.plugins
|
|||
|
ide-org.overture.ide.platform
|
|||
|
ide-org.overture.ide.parsers
|
|||
|
ide-org.overture.ide.help
|
|||
|
ide-org.overture.ide.debug
|
|||
|
ide-org.overture.ide.core
|
|||
|
ide-org.overture.ide.builders
|
|||
| features |
ide-features
|
||
Advertisement
