Categories |
CategoriesNet KeY Data Data Formats Formal Verification |
---|---|
GroupId | GroupIdnet.iris |
ArtifactId | ArtifactIdmobile-key-salto |
Version | Version5.7.0.rc07 |
Type | Typeaar |
Filename | Size |
---|---|
mobile-key-salto-5.7.0.rc07.pom | |
mobile-key-salto-5.7.0.rc07.aar | 217 KB |
Browse |
<!-- https://jarcasting.com/artifacts/net.iris/mobile-key-salto/ -->
<dependency>
<groupId>net.iris</groupId>
<artifactId>mobile-key-salto</artifactId>
<version>5.7.0.rc07</version>
<type>aar</type>
</dependency>
// https://jarcasting.com/artifacts/net.iris/mobile-key-salto/
implementation 'net.iris:mobile-key-salto:5.7.0.rc07'
// https://jarcasting.com/artifacts/net.iris/mobile-key-salto/
implementation ("net.iris:mobile-key-salto:5.7.0.rc07")
'net.iris:mobile-key-salto:aar:5.7.0.rc07'
<dependency org="net.iris" name="mobile-key-salto" rev="5.7.0.rc07">
<artifact name="mobile-key-salto" type="aar" />
</dependency>
@Grapes(
@Grab(group='net.iris', module='mobile-key-salto', version='5.7.0.rc07')
)
libraryDependencies += "net.iris" % "mobile-key-salto" % "5.7.0.rc07"
[net.iris/mobile-key-salto "5.7.0.rc07"]