Categories |
CategoriesNet KeY Data Data Formats Formal Verification |
---|---|
GroupId | GroupIdnet.kpipes |
ArtifactId | ArtifactIdkpipes-function-view-materialize-keyvalue |
Version | Version0.0.4 |
Type | Typejar |
<!-- https://jarcasting.com/artifacts/net.kpipes/kpipes-function-view-materialize-keyvalue/ -->
<dependency>
<groupId>net.kpipes</groupId>
<artifactId>kpipes-function-view-materialize-keyvalue</artifactId>
<version>0.0.4</version>
</dependency>
// https://jarcasting.com/artifacts/net.kpipes/kpipes-function-view-materialize-keyvalue/
implementation 'net.kpipes:kpipes-function-view-materialize-keyvalue:0.0.4'
// https://jarcasting.com/artifacts/net.kpipes/kpipes-function-view-materialize-keyvalue/
implementation ("net.kpipes:kpipes-function-view-materialize-keyvalue:0.0.4")
'net.kpipes:kpipes-function-view-materialize-keyvalue:jar:0.0.4'
<dependency org="net.kpipes" name="kpipes-function-view-materialize-keyvalue" rev="0.0.4">
<artifact name="kpipes-function-view-materialize-keyvalue" type="jar" />
</dependency>
@Grapes(
@Grab(group='net.kpipes', module='kpipes-function-view-materialize-keyvalue', version='0.0.4')
)
libraryDependencies += "net.kpipes" % "kpipes-function-view-materialize-keyvalue" % "0.0.4"
[net.kpipes/kpipes-function-view-materialize-keyvalue "0.0.4"]