License |
License |
---|---|
Categories |
CategoriesNet KeY Data Data Formats Formal Verification |
GroupId | GroupIdnet.vectorpublish |
ArtifactId | ArtifactIdKeyframe |
Last Version | Last Version0.9.27 |
Release Date | Release Date |
Type | Typejar |
Description |
DescriptionA Swing/AWT based DTP.
|
Filename | Size |
---|---|
Keyframe-0.9.27.pom | |
Keyframe-0.9.27.jar | 27 KB |
Keyframe-0.9.27-sources.jar | 15 KB |
Keyframe-0.9.27-javadoc.jar | 85 KB |
Browse |
<!-- https://jarcasting.com/artifacts/net.vectorpublish/Keyframe/ -->
<dependency>
<groupId>net.vectorpublish</groupId>
<artifactId>Keyframe</artifactId>
<version>0.9.27</version>
</dependency>
// https://jarcasting.com/artifacts/net.vectorpublish/Keyframe/
implementation 'net.vectorpublish:Keyframe:0.9.27'
// https://jarcasting.com/artifacts/net.vectorpublish/Keyframe/
implementation ("net.vectorpublish:Keyframe:0.9.27")
'net.vectorpublish:Keyframe:jar:0.9.27'
<dependency org="net.vectorpublish" name="Keyframe" rev="0.9.27">
<artifact name="Keyframe" type="jar" />
</dependency>
@Grapes(
@Grab(group='net.vectorpublish', module='Keyframe', version='0.9.27')
)
libraryDependencies += "net.vectorpublish" % "Keyframe" % "0.9.27"
[net.vectorpublish/Keyframe "0.9.27"]
Group / Artifact | Type | Version |
---|---|---|
net.vectorpublish : API | jar | 0.9.27 |
javax.inject : javax.inject | jar | 1 |
org.springframework : spring-context | jar | 4.3.7.RELEASE |
commons-io : commons-io | jar | 2.4 |
org.springframework : spring-aop | jar | 4.3.7.RELEASE |
org.springframework : spring-test | jar | 4.3.7.RELEASE |
Group / Artifact | Type | Version |
---|---|---|
junit : junit | jar | 4.12 |