Checker Framework Annotations for JDK6


License

License

Categories

Categories

Checker Framework Data Data Formats Formal Verification
GroupId

GroupId

com.github.trask
ArtifactId

ArtifactId

checker-framework-annotations-for-jdk6
Last Version

Last Version

1.0.0
Release Date

Release Date

Type

Type

jar
Description

Description

Checker Framework Annotations for JDK6
Checker Framework Annotations for JDK6
Project URL

Project URL

https://github.com/trask/checker-framework-annotations-for-jdk6
Source Code Management

Source Code Management

https://github.com/trask/checker-framework-annotations-for-jdk6

Download checker-framework-annotations-for-jdk6

How to add to project

<!-- 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"]

Dependencies

There are no dependencies for this project. It is a standalone project that does not depend on any other jars.

Project Modules

There are no modules declared in this project.

Versions

Version
1.0.0