'info.kwarc.sally4:sally4-utils:0.0.3'
<dependency>
<groupId>info.kwarc.sally4</groupId>
<artifactId>sally4-utils</artifactId>
<version>0.0.3</version>
</dependency>
<dependency org="info.kwarc.sally4" name="sally4-utils" rev="0.0.3"/>
"info.kwarc.sally4", "sally4-utils", "0.0.3"