Maven Jars
Sök
Hem
edu.washington.cs.types.checker
checker-annotated-openjdk6
1.5.0
Checker framework's annotated OpenJDK 6
Checker framework's annotated OpenJDK 6
Subset of OpenJDK 6 classes, annotated with type qualifiers from the checker framework
Maven
Gradle
SBT
Ivy
Grape
Leiningen
Buildr
edu.washington.cs.types.checker
checker-annotated-openjdk6
1.5.0
compile group: 'edu.washington.cs.types.checker', name: 'checker-annotated-openjdk6', version: '1.5.0'
compile 'edu.washington.cs.types.checker:checker-annotated-openjdk6:1.5.0'
libraryDependencies += "edu.washington.cs.types.checker" % "checker-annotated-openjdk6" % "1.5.0"
<dependency org="edu.washington.cs.types.checker" name="checker-annotated-openjdk6" rev="1.5.0"/>
@Grapes( @Grab(group='edu.washington.cs.types.checker', module='checker-annotated-openjdk6', version='1.5.0') )
[edu.washington.cs.types.checker/checker-annotated-openjdk6 "1.5.0"]
'edu.washington.cs.types.checker:checker-annotated-openjdk6:jar:1.5.0'