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