'de.fosd.typechef:javabdd_repackaged:1.0b2'
<dependency>
<groupId>de.fosd.typechef</groupId>
<artifactId>javabdd_repackaged</artifactId>
<version>1.0b2</version>
</dependency>
<dependency org="de.fosd.typechef" name="javabdd_repackaged" rev="1.0b2"/>
"de.fosd.typechef", "javabdd_repackaged", "1.0b2"