License |
License |
---|---|
Categories |
CategoriesAnt Build Tools KeY Data Data Formats Formal Verification |
GroupId | GroupIdit.uniroma2.art.semanticturkey |
ArtifactId | ArtifactIdst-builder |
Last Version | Last Version11.1 |
Release Date | Release Date |
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-11.1.pom | 9 KB |
st-builder-11.1-st.cfg | 93 bytes |
st-builder-11.1-features.xml | 4 KB |
Browse |
Group / Artifact | Type | Version |
---|---|---|
org.apache.karaf : apache-karaf | zip | 4.2.15 |