keycode 2.2.1

WebJar for keycode

License	MIT
Categories	KeY Data Data Formats Formal Verification
GroupId	org.webjars.npm
ArtifactId	keycode
Version	2.2.1
Type	jar
Description	keycode WebJar for keycode
Project URL	https://www.webjars.org
Source Code Management	https://github.com/timoxley/keycode

Download keycode 2.2.1

Filename	Size
keycode-2.2.1.pom
keycode-2.2.1.jar	32 KB
keycode-2.2.1-sources.jar	22 bytes
keycode-2.2.1-javadoc.jar	22 bytes

Apache Maven

<!-- https://jarcasting.com/artifacts/org.webjars.npm/keycode/ -->
<dependency>
    <groupId>org.webjars.npm</groupId>
    <artifactId>keycode</artifactId>
    <version>2.2.1</version>
</dependency>

Gradle Groovy

// https://jarcasting.com/artifacts/org.webjars.npm/keycode/
implementation 'org.webjars.npm:keycode:2.2.1'

Gradle Kotlin

// https://jarcasting.com/artifacts/org.webjars.npm/keycode/
implementation ("org.webjars.npm:keycode:2.2.1")

Apache Buildr

'org.webjars.npm:keycode:jar:2.2.1'

Apache Ivy

<dependency org="org.webjars.npm" name="keycode" rev="2.2.1">
  <artifact name="keycode" type="jar" />
</dependency>

Groovy Grape

@Grapes(
@Grab(group='org.webjars.npm', module='keycode', version='2.2.1')
)

Scala SBT

libraryDependencies += "org.webjars.npm" % "keycode" % "2.2.1"

Leiningen

[org.webjars.npm/keycode "2.2.1"]

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.