License |
License |
---|---|
Categories |
CategoriesKeY Data Data Formats Formal Verification |
GroupId | GroupIdorg.webjars.npm |
ArtifactId | ArtifactIdhdkey |
Version | Version0.7.1 |
Type | Typejar |
Description |
Descriptionhdkey
WebJar for hdkey
|
Project URL |
Project URL |
Source Code Management |
Source Code Management |
Filename | Size |
---|---|
hdkey-0.7.1.pom | |
hdkey-0.7.1.jar | 12 KB |
hdkey-0.7.1-sources.jar | 22 bytes |
hdkey-0.7.1-javadoc.jar | 22 bytes |
Browse |
<!-- https://jarcasting.com/artifacts/org.webjars.npm/hdkey/ -->
<dependency>
<groupId>org.webjars.npm</groupId>
<artifactId>hdkey</artifactId>
<version>0.7.1</version>
</dependency>
// https://jarcasting.com/artifacts/org.webjars.npm/hdkey/
implementation 'org.webjars.npm:hdkey:0.7.1'
// https://jarcasting.com/artifacts/org.webjars.npm/hdkey/
implementation ("org.webjars.npm:hdkey:0.7.1")
'org.webjars.npm:hdkey:jar:0.7.1'
<dependency org="org.webjars.npm" name="hdkey" rev="0.7.1">
<artifact name="hdkey" type="jar" />
</dependency>
@Grapes(
@Grab(group='org.webjars.npm', module='hdkey', version='0.7.1')
)
libraryDependencies += "org.webjars.npm" % "hdkey" % "0.7.1"
[org.webjars.npm/hdkey "0.7.1"]
Group / Artifact | Type | Version |
---|---|---|
org.webjars.npm » coinstring | jar | [2.0.0,3) |
org.webjars.npm : secp256k1 | jar | [3.0.1,4) |