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