Categories |
CategoriesData KeY Data Formats Formal Verification |
---|---|
GroupId | GroupIdme.proton.core |
ArtifactId | ArtifactIdkey-data |
Version | Version1.16 |
Type | Typeaar |
Filename | Size |
---|---|
key-data-1.16.pom | |
key-data-1.16-sources.jar | 261 bytes |
key-data-1.16-javadoc.jar | 842 KB |
Browse |
<!-- https://jarcasting.com/artifacts/me.proton.core/key-data/ -->
<dependency>
<groupId>me.proton.core</groupId>
<artifactId>key-data</artifactId>
<version>1.16</version>
<type>aar</type>
</dependency>
// https://jarcasting.com/artifacts/me.proton.core/key-data/
implementation 'me.proton.core:key-data:1.16'
// https://jarcasting.com/artifacts/me.proton.core/key-data/
implementation ("me.proton.core:key-data:1.16")
'me.proton.core:key-data:aar:1.16'
<dependency org="me.proton.core" name="key-data" rev="1.16">
<artifact name="key-data" type="aar" />
</dependency>
@Grapes(
@Grab(group='me.proton.core', module='key-data', version='1.16')
)
libraryDependencies += "me.proton.core" % "key-data" % "1.16"
[me.proton.core/key-data "1.16"]