License |
License |
---|---|
Categories |
CategoriesChecker Framework Data Data Formats Formal Verification |
GroupId | GroupIdcom.github.trask |
ArtifactId | ArtifactIdchecker-framework-annotations-for-jdk6 |
Last Version | Last Version1.0.0 |
Release Date | Release Date |
Type | Typejar |
Description |
DescriptionChecker Framework Annotations for JDK6
Checker Framework Annotations for JDK6
|
Project URL |
Project URL |
Source Code Management |
Source Code Management |
<!-- https://jarcasting.com/artifacts/com.github.trask/checker-framework-annotations-for-jdk6/ -->
<dependency>
<groupId>com.github.trask</groupId>
<artifactId>checker-framework-annotations-for-jdk6</artifactId>
<version>1.0.0</version>
</dependency>
// https://jarcasting.com/artifacts/com.github.trask/checker-framework-annotations-for-jdk6/
implementation 'com.github.trask:checker-framework-annotations-for-jdk6:1.0.0'
// https://jarcasting.com/artifacts/com.github.trask/checker-framework-annotations-for-jdk6/
implementation ("com.github.trask:checker-framework-annotations-for-jdk6:1.0.0")
'com.github.trask:checker-framework-annotations-for-jdk6:jar:1.0.0'
<dependency org="com.github.trask" name="checker-framework-annotations-for-jdk6" rev="1.0.0">
<artifact name="checker-framework-annotations-for-jdk6" type="jar" />
</dependency>
@Grapes(
@Grab(group='com.github.trask', module='checker-framework-annotations-for-jdk6', version='1.0.0')
)
libraryDependencies += "com.github.trask" % "checker-framework-annotations-for-jdk6" % "1.0.0"
[com.github.trask/checker-framework-annotations-for-jdk6 "1.0.0"]