is not current version
Last Version 1.0.3

org.codehaus.plexus.redback:redback-keys-jdo 1.0-alpha-4


Categories

Categories

KeY Data Data Formats Formal Verification
GroupId

GroupId

org.codehaus.plexus.redback
ArtifactId

ArtifactId

redback-keys-jdo
Version

Version

1.0-alpha-4
Type

Type

jar

Download redback-keys-jdo 1.0-alpha-4


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