Project Dependencies

compile

The following is a list of compile dependencies for this project. These dependencies are required to compile and run the application:

GroupId ArtifactId Version Type
org.overturetool stdlib 1.0.0 jar

test

The following is a list of test dependencies for this project. These dependencies are only required to compile and run unit tests for the application:

GroupId ArtifactId Version Type
junit junit 3.8.1 jar

Project Transitive Dependencies

No transitive dependencies are required for this project.

Project Dependency Graph

Dependency Tree

  • org.overturetool:vdmtoolsapi:jar:1.0.0 Information
    • org.overturetool:stdlib:jar:1.0.0 (compile) Information
    • junit:junit:jar:3.8.1 (test) Information

Licenses

Unknown: API for VDM Tools - wrapper for corba, The VDM++ Standard Library

Common Public License Version 1.0: JUnit

Dependency File Details

Filename Size Entries Classes Packages JDK Rev Debug
junit-3.8.1.jar 118.23 kB 119 100 6 1.1 debug
stdlib-1.0.0.jar 327.01 kB 343 176 7 1.5 debug
Total Size Entries Classes Packages JDK Rev Debug
2 445.25 kB 462 276 13 1.5 2
compile: 1 compile: 327.01 kB compile: 343 compile: 176 compile: 7 - compile: 1
test: 1 test: 118.23 kB test: 119 test: 100 test: 6 - test: 1

Dependency Repository Locations

Repo ID URL Release Snapshot
overturetool.org http://www.overturetool.org/maven2 Yes Yes
central http://repo1.maven.org/maven2 Yes -

Repository locations for each of the Dependencies.

Artifact overturetool.org central
junit:junit:jar:3.8.1 - Found at http://repo1.maven.org/maven2
org.overturetool:stdlib:jar:1.0.0 Found at http://www.overturetool.org/maven2 -
Total overturetool.org central
2 (compile: 1, test: 1) 1 1