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