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