Redback :: Key Management Providers


Лицензия

Лицензия

Apache Source License 2.0
Категории

Категории

IDE Инструменты разработки KeY Данные Data Formats Formal Verification
Группа

Группа

org.codehaus.plexus.redback
Идентификатор

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

redback-keys-providers
Последняя версия

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

1.0.3
Дата

Дата

Тип

Тип

pom
Описание

Описание

Redback :: Key Management Providers
Организация-разработчик

Организация-разработчик

Codehaus

Скачать redback-keys-providers

Имя Файла Размер
redback-keys-providers-1.0.3.pom 1 KB
Обзор

Как подключить последнюю версию

<!-- https://jarcasting.com/artifacts/org.codehaus.plexus.redback/redback-keys-providers/ -->
<dependency>
    <groupId>org.codehaus.plexus.redback</groupId>
    <artifactId>redback-keys-providers</artifactId>
    <version>1.0.3</version>
    <type>pom</type>
</dependency>
// https://jarcasting.com/artifacts/org.codehaus.plexus.redback/redback-keys-providers/
implementation 'org.codehaus.plexus.redback:redback-keys-providers:1.0.3'
// https://jarcasting.com/artifacts/org.codehaus.plexus.redback/redback-keys-providers/
implementation ("org.codehaus.plexus.redback:redback-keys-providers:1.0.3")
'org.codehaus.plexus.redback:redback-keys-providers:pom:1.0.3'
<dependency org="org.codehaus.plexus.redback" name="redback-keys-providers" rev="1.0.3">
  <artifact name="redback-keys-providers" type="pom" />
</dependency>
@Grapes(
@Grab(group='org.codehaus.plexus.redback', module='redback-keys-providers', version='1.0.3')
)
libraryDependencies += "org.codehaus.plexus.redback" % "redback-keys-providers" % "1.0.3"
[org.codehaus.plexus.redback/redback-keys-providers "1.0.3"]

Зависимости

compile (2)

Идентификатор библиотеки Тип Версия
org.codehaus.plexus : plexus-component-api jar 1.0-alpha-20
org.codehaus.plexus : plexus-container-default jar 1.0-alpha-20

Модули Проекта

  • redback-keys-jdo
  • redback-keys-memory
  • redback-keys-cached

Версии библиотеки

Версия
1.0.3
1.0.2
1.0.1
1.0
1.0-alpha-4
1.0-alpha-3
1.0-alpha-2
1.0-alpha-1