Categories |
CategoriesNet KeY Data Data Formats Formal Verification |
---|---|
GroupId | GroupIdnet.akaish.ikey.hkb |
ArtifactId | ArtifactIdikey-hkb |
Version | Version0.5.5 |
Type | Typeaar |
Filename | Size |
---|---|
ikey-hkb-0.5.5.pom | |
ikey-hkb-0.5.5.aar | 62 KB |
ikey-hkb-0.5.5-sources.jar | 8 KB |
ikey-hkb-0.5.5-javadoc.jar | 261 bytes |
Browse |
<!-- https://jarcasting.com/artifacts/net.akaish.ikey.hkb/ikey-hkb/ -->
<dependency>
<groupId>net.akaish.ikey.hkb</groupId>
<artifactId>ikey-hkb</artifactId>
<version>0.5.5</version>
<type>aar</type>
</dependency>
// https://jarcasting.com/artifacts/net.akaish.ikey.hkb/ikey-hkb/
implementation 'net.akaish.ikey.hkb:ikey-hkb:0.5.5'
// https://jarcasting.com/artifacts/net.akaish.ikey.hkb/ikey-hkb/
implementation ("net.akaish.ikey.hkb:ikey-hkb:0.5.5")
'net.akaish.ikey.hkb:ikey-hkb:aar:0.5.5'
<dependency org="net.akaish.ikey.hkb" name="ikey-hkb" rev="0.5.5">
<artifact name="ikey-hkb" type="aar" />
</dependency>
@Grapes(
@Grab(group='net.akaish.ikey.hkb', module='ikey-hkb', version='0.5.5')
)
libraryDependencies += "net.akaish.ikey.hkb" % "ikey-hkb" % "0.5.5"
[net.akaish.ikey.hkb/ikey-hkb "0.5.5"]