Categories |
CategoriesJava Languages Net KeY Data Data Formats Formal Verification |
---|---|
GroupId | GroupIdnet.java.truecommons |
ArtifactId | ArtifactIdtruecommons-key-hurlfb |
Version | Version2.2.1 |
Type | Typejar |
<!-- https://jarcasting.com/artifacts/net.java.truecommons/truecommons-key-hurlfb/ -->
<dependency>
<groupId>net.java.truecommons</groupId>
<artifactId>truecommons-key-hurlfb</artifactId>
<version>2.2.1</version>
</dependency>
// https://jarcasting.com/artifacts/net.java.truecommons/truecommons-key-hurlfb/
implementation 'net.java.truecommons:truecommons-key-hurlfb:2.2.1'
// https://jarcasting.com/artifacts/net.java.truecommons/truecommons-key-hurlfb/
implementation ("net.java.truecommons:truecommons-key-hurlfb:2.2.1")
'net.java.truecommons:truecommons-key-hurlfb:jar:2.2.1'
<dependency org="net.java.truecommons" name="truecommons-key-hurlfb" rev="2.2.1">
<artifact name="truecommons-key-hurlfb" type="jar" />
</dependency>
@Grapes(
@Grab(group='net.java.truecommons', module='truecommons-key-hurlfb', version='2.2.1')
)
libraryDependencies += "net.java.truecommons" % "truecommons-key-hurlfb" % "2.2.1"
[net.java.truecommons/truecommons-key-hurlfb "2.2.1"]