| Категории |
КатегорииAnt Компиляция и сборка KeY Данные Data Formats Formal Verification |
|---|---|
| Группа | Группаit.uniroma2.art.semanticturkey |
| Идентификатор | Идентификаторst-custom-service-backends |
| Версия | Версия8.0 |
| Тип | Типpom |
| Имя Файла | Размер |
|---|---|
| st-custom-service-backends-8.0.pom | 551 bytes |
| Обзор |
<!-- https://jarcasting.com/artifacts/it.uniroma2.art.semanticturkey/st-custom-service-backends/ -->
<dependency>
<groupId>it.uniroma2.art.semanticturkey</groupId>
<artifactId>st-custom-service-backends</artifactId>
<version>8.0</version>
<type>pom</type>
</dependency>
// https://jarcasting.com/artifacts/it.uniroma2.art.semanticturkey/st-custom-service-backends/
implementation 'it.uniroma2.art.semanticturkey:st-custom-service-backends:8.0'
// https://jarcasting.com/artifacts/it.uniroma2.art.semanticturkey/st-custom-service-backends/
implementation ("it.uniroma2.art.semanticturkey:st-custom-service-backends:8.0")
'it.uniroma2.art.semanticturkey:st-custom-service-backends:pom:8.0'
<dependency org="it.uniroma2.art.semanticturkey" name="st-custom-service-backends" rev="8.0">
<artifact name="st-custom-service-backends" type="pom" />
</dependency>
@Grapes(
@Grab(group='it.uniroma2.art.semanticturkey', module='st-custom-service-backends', version='8.0')
)
libraryDependencies += "it.uniroma2.art.semanticturkey" % "st-custom-service-backends" % "8.0"
[it.uniroma2.art.semanticturkey/st-custom-service-backends "8.0"]