How to add a POM dependency to Maven
POM as dependency in dependencyManagement
<dependency>
<groupId>org.overturetool</groupId>
<artifactId>core</artifactId>
<version>typechecker</version>
</dependency>
MVN
org.overturetool : core
Maven & Gradle
Core Tools
Copy
pom.xml
Table Of Contents
Latest Version
Choose a version of org.overturetool : core to add to Maven - Latest Versions:
- Latest Stable: typechecker
All Versions
Choose a version of org.overturetool : core to add to Maven - All Versions:
| Version | Vulnerabilities | Updated | |
|---|---|---|---|
| 3.0.x |
core-3.0.2
|
||
|
core-3.0.0
|
|||
| 2.7.x |
core-2.7.4
|
||
|
core-2.7.2
|
|||
|
core-2.7.0
|
|||
| 2.6.x |
core-2.6.4
|
||
|
core-2.6.2
|
|||
|
core-2.6.0
|
|||
| 2.5.x |
core-2.5.6
|
||
|
core-2.5.4
|
|||
|
core-2.5.2
|
|||
|
core-2.5.0
|
|||
| 2.4.x |
core-2.4.8
|
||
|
core-2.4.6
|
|||
|
core-2.4.4
|
|||
|
core-2.4.2
|
|||
|
core-2.4.0
|
|||
| 2.3.x |
core-2.3.8
|
||
|
core-2.3.6
|
|||
|
core-2.3.4
|
|||
|
core-2.3.2
|
|||
|
core-2.3.0
|
|||
| 2.2.x |
core-2.2.8
|
||
|
core-2.2.6
|
|||
|
core-2.2.2
|
|||
|
core-2.2.0
|
|||
| 2.1.x |
core-2.1.6
|
||
|
core-2.1.4
|
|||
|
core-2.1.2
|
|||
|
core-2.1.0
|
|||
| 2.0.x |
core-2.0.8
|
||
|
core-2.0.6
|
|||
|
core-2.0.4
|
|||
| typechecker |
core-typechecker
|
||
| testframework |
core-testframework
|
||
| prettyprinting |
core-prettyprinting
|
||
| pog |
core-pog
|
||
|
core-pog-string-based
|
|||
| parser |
core-parser
|
||
| npp |
core-npp
|
||
| isapog |
core-isapog
|
||
| interpreter |
core-interpreter
|
||
| commandlinetool |
core-commandlinetool
|
||
| combinatorialtesting |
core-combinatorialtesting
|
||
| codegen |
core-codegen
|
||
|
core-codegen-runtime
|
|||
| ast |
core-ast
|
||
| annotations |
core-annotations
|
||
| modelcheckers |
core-modelcheckers
|
||
| guibuilder |
core-guibuilder
|
||
| vdmjc |
core-vdmjc
|
||
Advertisement
