| 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 |