License |
License |
---|---|
Categories |
CategoriesKeY Data Data Formats Formal Verification |
GroupId | GroupIdorg.webjars.npm |
ArtifactId | ArtifactIdkey-pressed |
Version | Version0.0.1 |
Type | Typejar |
Description |
Descriptionkey-pressed
WebJar for key-pressed
|
Project URL |
Project URL |
Source Code Management |
Source Code Management |
Filename | Size |
---|---|
key-pressed-0.0.1.pom | |
key-pressed-0.0.1.jar | 5 KB |
key-pressed-0.0.1-sources.jar | 22 bytes |
key-pressed-0.0.1-javadoc.jar | 22 bytes |
Browse |
<!-- https://jarcasting.com/artifacts/org.webjars.npm/key-pressed/ -->
<dependency>
<groupId>org.webjars.npm</groupId>
<artifactId>key-pressed</artifactId>
<version>0.0.1</version>
</dependency>
// https://jarcasting.com/artifacts/org.webjars.npm/key-pressed/
implementation 'org.webjars.npm:key-pressed:0.0.1'
// https://jarcasting.com/artifacts/org.webjars.npm/key-pressed/
implementation ("org.webjars.npm:key-pressed:0.0.1")
'org.webjars.npm:key-pressed:jar:0.0.1'
<dependency org="org.webjars.npm" name="key-pressed" rev="0.0.1">
<artifact name="key-pressed" type="jar" />
</dependency>
@Grapes(
@Grab(group='org.webjars.npm', module='key-pressed', version='0.0.1')
)
libraryDependencies += "org.webjars.npm" % "key-pressed" % "0.0.1"
[org.webjars.npm/key-pressed "0.0.1"]
Group / Artifact | Type | Version |
---|---|---|
org.webjars.npm : vkey | jar | 0.0.3 |