it.uniroma2.art.semanticturkey:st-reformatting-exporters 10.1

Categories	Ant Build Tools KeY Data Data Formats Formal Verification ORM
GroupId	it.uniroma2.art.semanticturkey
ArtifactId	st-reformatting-exporters
Version	10.1
Type	pom

Download st-reformatting-exporters 10.1

Filename	Size
st-reformatting-exporters-10.1.pom	608 bytes

Apache Maven

<!-- https://jarcasting.com/artifacts/it.uniroma2.art.semanticturkey/st-reformatting-exporters/ -->
<dependency>
    <groupId>it.uniroma2.art.semanticturkey</groupId>
    <artifactId>st-reformatting-exporters</artifactId>
    <version>10.1</version>
    <type>pom</type>
</dependency>

Gradle Groovy

// https://jarcasting.com/artifacts/it.uniroma2.art.semanticturkey/st-reformatting-exporters/
implementation 'it.uniroma2.art.semanticturkey:st-reformatting-exporters:10.1'

Gradle Kotlin

// https://jarcasting.com/artifacts/it.uniroma2.art.semanticturkey/st-reformatting-exporters/
implementation ("it.uniroma2.art.semanticturkey:st-reformatting-exporters:10.1")

Apache Buildr

'it.uniroma2.art.semanticturkey:st-reformatting-exporters:pom:10.1'

Apache Ivy

<dependency org="it.uniroma2.art.semanticturkey" name="st-reformatting-exporters" rev="10.1">
  <artifact name="st-reformatting-exporters" type="pom" />
</dependency>

Groovy Grape

@Grapes(
@Grab(group='it.uniroma2.art.semanticturkey', module='st-reformatting-exporters', version='10.1')
)

Scala SBT

libraryDependencies += "it.uniroma2.art.semanticturkey" % "st-reformatting-exporters" % "10.1"

Leiningen

[it.uniroma2.art.semanticturkey/st-reformatting-exporters "10.1"]