MVN

info.kwarc.mmt : mmt

Maven & Gradle

Jun 11, 2014

MMT Parent Project · MMT

<dependency>
    <groupId>info.kwarc.mmt</groupId>
    <artifactId>mmt</artifactId>
    <version>1.0.0</version>
</dependency>
Copy
pom.xml
Table Of Contents

Latest Version

Choose a version of info.kwarc.mmt : mmt to add to Maven - Latest Versions:

  • Latest Stable: 1.0.0

All Versions

Choose a version of info.kwarc.mmt : mmt to add to Maven - All Versions:

Version Vulnerabilities Updated
1.0.x
mmt-1.0.0

How to add a POM dependency to Maven

POM as dependency in dependencyManagement

<dependency>
    <groupId>info.kwarc.mmt</groupId>
    <artifactId>mmt</artifactId>
    <version>1.0.0</version>
</dependency>