не последняя версия
Последняя версия 1.0-alpha-4

org.codehaus.plexus.redback.old:redback-keys-providers 1.0-alpha-1


Категории

Категории

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

Группа

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

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

redback-keys-providers
Версия

Версия

1.0-alpha-1
Тип

Тип

pom

Скачать redback-keys-providers 1.0-alpha-1

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

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