Last Version

keygrip 1.0.2

WebJar for keygrip

License

License

MIT
Categories

Categories

KeY Data Data Formats Formal Verification
GroupId

GroupId

org.webjars.npm
ArtifactId

ArtifactId

keygrip
Version

Version

1.0.2
Type

Type

jar
Description

Description

keygrip
WebJar for keygrip
Project URL

Project URL

http://webjars.org
Source Code Management

Source Code Management

https://github.com/crypto-utils/keygrip

Download keygrip 1.0.2


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

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.