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

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

Download st-core-extensions 9.0

Filename	Size
st-core-extensions-9.0.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>9.0</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:9.0'

Gradle Kotlin

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

Apache Buildr

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

Apache Ivy

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

Groovy Grape

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

Scala SBT

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

Leiningen

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