License |
License |
---|---|
Categories |
CategoriesAnt Build Tools KeY Data Data Formats Formal Verification |
GroupId | GroupIdit.uniroma2.art.semanticturkey |
ArtifactId | ArtifactIdst-builder |
Version | Version9.1 |
Type | Typecfg |
Description |
DescriptionSemantic Turkey Builder
Semantic turkey builder subproject. It creates the karaf archive with the application already deployed.
|
Project Organization |
Project Organization |
Filename | Size |
---|---|
st-builder-9.1.pom | 9 KB |
st-builder-9.1-st.cfg | 96 bytes |
st-builder-9.1-features.xml | 10 KB |
Browse |
Group / Artifact | Type | Version |
---|---|---|
org.apache.karaf : apache-karaf | zip | 4.2.1 |