License |
License |
---|---|
Categories |
CategoriesKeY Data Data Formats Formal Verification |
GroupId | GroupIdme.proton.core |
ArtifactId | ArtifactIdkey |
Version | Version7.1.2 |
Type | Typeaar |
Description |
Descriptionkey
Proton Core libraries for Android
|
Project URL |
Project URL |
Filename | Size |
---|---|
key-7.1.2.pom | |
key-7.1.2-sources.jar | 261 bytes |
key-7.1.2-javadoc.jar | 261 bytes |
Browse |
<!-- https://jarcasting.com/artifacts/me.proton.core/key/ -->
<dependency>
<groupId>me.proton.core</groupId>
<artifactId>key</artifactId>
<version>7.1.2</version>
<type>aar</type>
</dependency>
// https://jarcasting.com/artifacts/me.proton.core/key/
implementation 'me.proton.core:key:7.1.2'
// https://jarcasting.com/artifacts/me.proton.core/key/
implementation ("me.proton.core:key:7.1.2")
'me.proton.core:key:aar:7.1.2'
<dependency org="me.proton.core" name="key" rev="7.1.2">
<artifact name="key" type="aar" />
</dependency>
@Grapes(
@Grab(group='me.proton.core', module='key', version='7.1.2')
)
libraryDependencies += "me.proton.core" % "key" % "7.1.2"
[me.proton.core/key "7.1.2"]
Group / Artifact | Type | Version |
---|---|---|
me.proton.core : key-domain | jar | 7.1.2 |
me.proton.core : key-data | jar | 7.1.2 |
org.jetbrains.kotlin : kotlin-stdlib-jdk8 | jar | 1.6.10 |