keycode

WebJar for keycode

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

Download keycode

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

How to add to project

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.

Versions

Version
2.2.1 Jan 29, 2022
2.2.0 Aug 18, 2018
2.1.9 Feb 28, 2018
2.1.8 Apr 21, 2017
2.1.6 Sep 21, 2016
2.1.1 Apr 28, 2016
2.1.0 Nov 6, 2015