| Categories |
CategoriesJava Languages Net KeY Data Data Formats Formal Verification |
|---|---|
| GroupId | GroupIdnet.java.truevfs |
| ArtifactId | ArtifactIdtruevfs-key |
| Version | Version0.9.2 |
| Type | Typepom |
| Filename | Size |
|---|---|
| truevfs-key-0.9.2.pom | 986 bytes |
| Browse |
<!-- https://jarcasting.com/artifacts/net.java.truevfs/truevfs-key/ -->
<dependency>
<groupId>net.java.truevfs</groupId>
<artifactId>truevfs-key</artifactId>
<version>0.9.2</version>
<type>pom</type>
</dependency>
// https://jarcasting.com/artifacts/net.java.truevfs/truevfs-key/
implementation 'net.java.truevfs:truevfs-key:0.9.2'
// https://jarcasting.com/artifacts/net.java.truevfs/truevfs-key/
implementation ("net.java.truevfs:truevfs-key:0.9.2")
'net.java.truevfs:truevfs-key:pom:0.9.2'
<dependency org="net.java.truevfs" name="truevfs-key" rev="0.9.2">
<artifact name="truevfs-key" type="pom" />
</dependency>
@Grapes(
@Grab(group='net.java.truevfs', module='truevfs-key', version='0.9.2')
)
libraryDependencies += "net.java.truevfs" % "truevfs-key" % "0.9.2"
[net.java.truevfs/truevfs-key "0.9.2"]