Keypress

WebJar for Keypress

License

License

Apache 2.0
Categories

Categories

KeY Data Data Formats Formal Verification
GroupId

GroupId

org.webjars.bower
ArtifactId

ArtifactId

Keypress
Last Version

Last Version

2.1.3
Release Date

Release Date

Type

Type

jar
Description

Description

Keypress
WebJar for Keypress
Project URL

Project URL

http://webjars.org
Source Code Management

Source Code Management

https://github.com/dmauro/Keypress

Download Keypress

How to add to project

<!-- https://jarcasting.com/artifacts/org.webjars.bower/Keypress/ -->
<dependency>
    <groupId>org.webjars.bower</groupId>
    <artifactId>Keypress</artifactId>
    <version>2.1.3</version>
</dependency>
// https://jarcasting.com/artifacts/org.webjars.bower/Keypress/
implementation 'org.webjars.bower:Keypress:2.1.3'
// https://jarcasting.com/artifacts/org.webjars.bower/Keypress/
implementation ("org.webjars.bower:Keypress:2.1.3")
'org.webjars.bower:Keypress:jar:2.1.3'
<dependency org="org.webjars.bower" name="Keypress" rev="2.1.3">
  <artifact name="Keypress" type="jar" />
</dependency>
@Grapes(
@Grab(group='org.webjars.bower', module='Keypress', version='2.1.3')
)
libraryDependencies += "org.webjars.bower" % "Keypress" % "2.1.3"
[org.webjars.bower/Keypress "2.1.3"]

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.1.3
1.0.9