License |
License |
---|---|
Categories |
CategoriesKeY Data Data Formats Formal Verification |
GroupId | GroupIdorg.webjars.npm |
ArtifactId | ArtifactIdkeyv |
Version | Version4.0.3 |
Type | Typejar |
Description |
Descriptionkeyv
WebJar for keyv
|
Project URL |
Project URL |
Source Code Management |
Source Code Management |
Filename | Size |
---|---|
keyv-4.0.3.pom | |
keyv-4.0.3.jar | 7 KB |
keyv-4.0.3-sources.jar | 22 bytes |
keyv-4.0.3-javadoc.jar | 22 bytes |
Browse |
<!-- https://jarcasting.com/artifacts/org.webjars.npm/keyv/ -->
<dependency>
<groupId>org.webjars.npm</groupId>
<artifactId>keyv</artifactId>
<version>4.0.3</version>
</dependency>
// https://jarcasting.com/artifacts/org.webjars.npm/keyv/
implementation 'org.webjars.npm:keyv:4.0.3'
// https://jarcasting.com/artifacts/org.webjars.npm/keyv/
implementation ("org.webjars.npm:keyv:4.0.3")
'org.webjars.npm:keyv:jar:4.0.3'
<dependency org="org.webjars.npm" name="keyv" rev="4.0.3">
<artifact name="keyv" type="jar" />
</dependency>
@Grapes(
@Grab(group='org.webjars.npm', module='keyv', version='4.0.3')
)
libraryDependencies += "org.webjars.npm" % "keyv" % "4.0.3"
[org.webjars.npm/keyv "4.0.3"]
Group / Artifact | Type | Version |
---|---|---|
org.webjars.npm : json-buffer | jar | [3.0.1] |