it.uniroma2.art.semanticturkey:st-core-extensions 10.2

Categories	Ant Build Tools KeY Data Data Formats Formal Verification
GroupId	it.uniroma2.art.semanticturkey
ArtifactId	st-core-extensions
Version	10.2
Type	pom

Download st-core-extensions 10.2

Filename	Size
st-core-extensions-10.2.pom	1 KB

Apache Maven

<!-- https://jarcasting.com/artifacts/it.uniroma2.art.semanticturkey/st-core-extensions/ -->
<dependency>
    <groupId>it.uniroma2.art.semanticturkey</groupId>
    <artifactId>st-core-extensions</artifactId>
    <version>10.2</version>
    <type>pom</type>
</dependency>

Gradle Groovy

// https://jarcasting.com/artifacts/it.uniroma2.art.semanticturkey/st-core-extensions/
implementation 'it.uniroma2.art.semanticturkey:st-core-extensions:10.2'

Gradle Kotlin

// https://jarcasting.com/artifacts/it.uniroma2.art.semanticturkey/st-core-extensions/
implementation ("it.uniroma2.art.semanticturkey:st-core-extensions:10.2")

Apache Buildr

'it.uniroma2.art.semanticturkey:st-core-extensions:pom:10.2'

Apache Ivy

<dependency org="it.uniroma2.art.semanticturkey" name="st-core-extensions" rev="10.2">
  <artifact name="st-core-extensions" type="pom" />
</dependency>

Groovy Grape

@Grapes(
@Grab(group='it.uniroma2.art.semanticturkey', module='st-core-extensions', version='10.2')
)

Scala SBT

libraryDependencies += "it.uniroma2.art.semanticturkey" % "st-core-extensions" % "10.2"

Leiningen

[it.uniroma2.art.semanticturkey/st-core-extensions "10.2"]