Last Version

w3c-keyname 2.2.4

WebJar for w3c-keyname

License

License

MIT
Categories

Categories

KeY Data Data Formats Formal Verification
GroupId

GroupId

org.webjars.npm
ArtifactId

ArtifactId

w3c-keyname
Version

Version

2.2.4
Type

Type

jar
Description

Description

w3c-keyname
WebJar for w3c-keyname
Project URL

Project URL

https://www.webjars.org
Source Code Management

Source Code Management

https://github.com/marijnh/w3c-keyname

Download w3c-keyname 2.2.4


<!-- 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"]

Dependencies

There are no dependencies for this project. It is a standalone project that does not depend on any other jars.

Project Modules

There are no modules declared in this project.