Categories |
CategoriesAnt Build Tools KeY Data Data Formats Formal Verification |
---|---|
GroupId | GroupIdit.uniroma2.art.semanticturkey |
ArtifactId | ArtifactIdst-deployers |
Version | Version10.2 |
Type | Typepom |
Filename | Size |
---|---|
st-deployers-10.2.pom | 683 bytes |
Browse |
<!-- https://jarcasting.com/artifacts/it.uniroma2.art.semanticturkey/st-deployers/ -->
<dependency>
<groupId>it.uniroma2.art.semanticturkey</groupId>
<artifactId>st-deployers</artifactId>
<version>10.2</version>
<type>pom</type>
</dependency>
// https://jarcasting.com/artifacts/it.uniroma2.art.semanticturkey/st-deployers/
implementation 'it.uniroma2.art.semanticturkey:st-deployers:10.2'
// https://jarcasting.com/artifacts/it.uniroma2.art.semanticturkey/st-deployers/
implementation ("it.uniroma2.art.semanticturkey:st-deployers:10.2")
'it.uniroma2.art.semanticturkey:st-deployers:pom:10.2'
<dependency org="it.uniroma2.art.semanticturkey" name="st-deployers" rev="10.2">
<artifact name="st-deployers" type="pom" />
</dependency>
@Grapes(
@Grab(group='it.uniroma2.art.semanticturkey', module='st-deployers', version='10.2')
)
libraryDependencies += "it.uniroma2.art.semanticturkey" % "st-deployers" % "10.2"
[it.uniroma2.art.semanticturkey/st-deployers "10.2"]