<dependency>
  <groupId>fr.lipn.lcr.pnml</groupId>
  <artifactId>fr.lipn.lcr.pnml2coq</artifactId>
  <version>1.0.1</version>
</dependency>

'fr.lipn.lcr.pnml:fr.lipn.lcr.pnml2coq:jar:1.0.1'

<dependency org="fr.lipn.lcr.pnml" name="fr.lipn.lcr.pnml2coq" rev="1.0.1">
  <artifact name="fr.lipn.lcr.pnml2coq" type="jar" />
</dependency>

@Grapes(
@Grab(group='fr.lipn.lcr.pnml', module='fr.lipn.lcr.pnml2coq', version='1.0.1')
)

compile 'fr.lipn.lcr.pnml:fr.lipn.lcr.pnml2coq:1.0.1'

[fr.lipn.lcr.pnml/fr.lipn.lcr.pnml2coq "1.0.1"]

libraryDependencies += "fr.lipn.lcr.pnml" %% "fr.lipn.lcr.pnml2coq" % "1.0.1"