MMT
'info.kwarc.mmt:mmt:1.0.0'
<dependency> <groupId>info.kwarc.mmt</groupId> <artifactId>mmt</artifactId> <version>1.0.0</version> </dependency>
<dependency org="info.kwarc.mmt" name="mmt" rev="1.0.0"/>
"info.kwarc.mmt", "mmt", "1.0.0"