License |
License |
---|---|
Categories |
CategoriesKeY Data Data Formats Formal Verification |
GroupId | GroupIdcc.renken |
ArtifactId | ArtifactIdkeylock |
Last Version | Last Version1.0.1 |
Release Date | Release Date |
Type | Typejar |
Description |
Descriptioncc.renken:keylock
A simple key based locking library.
|
Filename | Size |
---|---|
keylock-1.0.1.pom | |
keylock-1.0.1.jar | 5 KB |
keylock-1.0.1-sources.jar | 3 KB |
keylock-1.0.1-javadoc.jar | 393 KB |
Browse |
<!-- https://jarcasting.com/artifacts/cc.renken/keylock/ -->
<dependency>
<groupId>cc.renken</groupId>
<artifactId>keylock</artifactId>
<version>1.0.1</version>
</dependency>
// https://jarcasting.com/artifacts/cc.renken/keylock/
implementation 'cc.renken:keylock:1.0.1'
// https://jarcasting.com/artifacts/cc.renken/keylock/
implementation ("cc.renken:keylock:1.0.1")
'cc.renken:keylock:jar:1.0.1'
<dependency org="cc.renken" name="keylock" rev="1.0.1">
<artifact name="keylock" type="jar" />
</dependency>
@Grapes(
@Grab(group='cc.renken', module='keylock', version='1.0.1')
)
libraryDependencies += "cc.renken" % "keylock" % "1.0.1"
[cc.renken/keylock "1.0.1"]
Group / Artifact | Type | Version |
---|---|---|
junit : junit | jar | 4.11 |