'de.fosd.typechef:javabdd_repackaged_2.10:0.1'
<dependency>
<groupId>de.fosd.typechef</groupId>
<artifactId>javabdd_repackaged_2.10</artifactId>
<version>0.1</version>
</dependency>
<dependency org="de.fosd.typechef" name="javabdd_repackaged_2.10" rev="0.1"/>
"de.fosd.typechef", "javabdd_repackaged_2.10", "0.1"