License |
License |
---|---|
Categories |
CategoriesKeY Data Data Formats Formal Verification |
GroupId | GroupIdorg.codehaus.modello |
ArtifactId | ArtifactIdmodello-db-keywords |
Last Version | Last Version1.0-alpha-21 |
Release Date | Release Date |
Type | Typejar |
Description |
DescriptionModello Database Keywords Library
|
Project Organization |
Project OrganizationCodehaus |
<!-- https://jarcasting.com/artifacts/org.codehaus.modello/modello-db-keywords/ -->
<dependency>
<groupId>org.codehaus.modello</groupId>
<artifactId>modello-db-keywords</artifactId>
<version>1.0-alpha-21</version>
</dependency>
// https://jarcasting.com/artifacts/org.codehaus.modello/modello-db-keywords/
implementation 'org.codehaus.modello:modello-db-keywords:1.0-alpha-21'
// https://jarcasting.com/artifacts/org.codehaus.modello/modello-db-keywords/
implementation ("org.codehaus.modello:modello-db-keywords:1.0-alpha-21")
'org.codehaus.modello:modello-db-keywords:jar:1.0-alpha-21'
<dependency org="org.codehaus.modello" name="modello-db-keywords" rev="1.0-alpha-21">
<artifact name="modello-db-keywords" type="jar" />
</dependency>
@Grapes(
@Grab(group='org.codehaus.modello', module='modello-db-keywords', version='1.0-alpha-21')
)
libraryDependencies += "org.codehaus.modello" % "modello-db-keywords" % "1.0-alpha-21"
[org.codehaus.modello/modello-db-keywords "1.0-alpha-21"]
Group / Artifact | Type | Version |
---|---|---|
org.codehaus.modello : modello-core | jar | 1.0-alpha-21 |
org.codehaus.plexus : plexus-utils | jar | 1.5.1 |
org.codehaus.plexus : plexus-container-default | jar | 1.0-alpha-30 |
Group / Artifact | Type | Version |
---|---|---|
junit : junit | jar | 3.8.1 |
Version |
---|
1.0-alpha-21
|
1.0-alpha-20
|
1.0-alpha-19
|
1.0-alpha-18
|
1.0-alpha-17
|
1.0-alpha-16
|
1.0-alpha-15
|