License |
License |
---|---|
Categories |
CategoriesKeY Data Data Formats Formal Verification |
GroupId | GroupIdcom.ycframe |
ArtifactId | ArtifactIdyc.frame.key |
Last Version | Last Version0.0.1 |
Release Date | Release Date |
Type | Typejar |
Description |
Descriptionyc.frame.key
com.ycframe develop frame
|
Project URL |
Project URL |
Filename | Size |
---|---|
yc.frame.key-0.0.1.pom | |
yc.frame.key-0.0.1.jar | 13 KB |
yc.frame.key-0.0.1-sources.jar | 431 bytes |
yc.frame.key-0.0.1-javadoc.jar | 431 bytes |
Browse |
<!-- https://jarcasting.com/artifacts/com.ycframe/yc.frame.key/ -->
<dependency>
<groupId>com.ycframe</groupId>
<artifactId>yc.frame.key</artifactId>
<version>0.0.1</version>
</dependency>
// https://jarcasting.com/artifacts/com.ycframe/yc.frame.key/
implementation 'com.ycframe:yc.frame.key:0.0.1'
// https://jarcasting.com/artifacts/com.ycframe/yc.frame.key/
implementation ("com.ycframe:yc.frame.key:0.0.1")
'com.ycframe:yc.frame.key:jar:0.0.1'
<dependency org="com.ycframe" name="yc.frame.key" rev="0.0.1">
<artifact name="yc.frame.key" type="jar" />
</dependency>
@Grapes(
@Grab(group='com.ycframe', module='yc.frame.key', version='0.0.1')
)
libraryDependencies += "com.ycframe" % "yc.frame.key" % "0.0.1"
[com.ycframe/yc.frame.key "0.0.1"]
Group / Artifact | Type | Version |
---|---|---|
junit : junit | jar | 3.8.1 |