| Категории |
КатегорииCLI Взаимодействие с пользователем KeY Данные Data Formats Formal Verification |
|---|---|
| Группа | Группаcom.woorea |
| Идентификатор | Идентификаторkeystone-client |
| Версия | Версия3.2.1 |
| Тип | Типjar |
| Имя Файла | Размер |
|---|---|
| keystone-client-3.2.1.pom | |
| keystone-client-3.2.1.jar | 34 KB |
| keystone-client-3.2.1-sources.jar | 7 KB |
| keystone-client-3.2.1-javadoc.jar | 212 KB |
| Обзор |
<!-- https://jarcasting.com/artifacts/com.woorea/keystone-client/ -->
<dependency>
<groupId>com.woorea</groupId>
<artifactId>keystone-client</artifactId>
<version>3.2.1</version>
</dependency>
// https://jarcasting.com/artifacts/com.woorea/keystone-client/
implementation 'com.woorea:keystone-client:3.2.1'
// https://jarcasting.com/artifacts/com.woorea/keystone-client/
implementation ("com.woorea:keystone-client:3.2.1")
'com.woorea:keystone-client:jar:3.2.1'
<dependency org="com.woorea" name="keystone-client" rev="3.2.1">
<artifact name="keystone-client" type="jar" />
</dependency>
@Grapes(
@Grab(group='com.woorea', module='keystone-client', version='3.2.1')
)
libraryDependencies += "com.woorea" % "keystone-client" % "3.2.1"
[com.woorea/keystone-client "3.2.1"]