не последняя версия
Последняя версия 11.1

it.uniroma2.art.semanticturkey:st-custom-service-backends 10.2


Категории

Категории

Ant Компиляция и сборка KeY Данные Data Formats Formal Verification
Группа

Группа

it.uniroma2.art.semanticturkey
Идентификатор

Идентификатор

st-custom-service-backends
Версия

Версия

10.2
Тип

Тип

pom

Скачать st-custom-service-backends 10.2

Имя Файла Размер
st-custom-service-backends-10.2.pom 552 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>10.2</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:10.2'
// https://jarcasting.com/artifacts/it.uniroma2.art.semanticturkey/st-custom-service-backends/
implementation ("it.uniroma2.art.semanticturkey:st-custom-service-backends:10.2")
'it.uniroma2.art.semanticturkey:st-custom-service-backends:pom:10.2'
<dependency org="it.uniroma2.art.semanticturkey" name="st-custom-service-backends" rev="10.2">
  <artifact name="st-custom-service-backends" type="pom" />
</dependency>
@Grapes(
@Grab(group='it.uniroma2.art.semanticturkey', module='st-custom-service-backends', version='10.2')
)
libraryDependencies += "it.uniroma2.art.semanticturkey" % "st-custom-service-backends" % "10.2"
[it.uniroma2.art.semanticturkey/st-custom-service-backends "10.2"]