Maven Jars
Поиск
Главная
edu.washington.cs.types.checker
checker-annotated-jdk8
1.7.5
Checker framework's annotated JDK 8
Checker framework's annotated JDK 8
Subset of JDK 8 classes, annotated with type qualifiers from the checker framework
Maven
Gradle
SBT
Ivy
Grape
Leiningen
Buildr
edu.washington.cs.types.checker
checker-annotated-jdk8
1.7.5
compile group: 'edu.washington.cs.types.checker', name: 'checker-annotated-jdk8', version: '1.7.5'
compile 'edu.washington.cs.types.checker:checker-annotated-jdk8:1.7.5'
libraryDependencies += "edu.washington.cs.types.checker" % "checker-annotated-jdk8" % "1.7.5"
<dependency org="edu.washington.cs.types.checker" name="checker-annotated-jdk8" rev="1.7.5"/>
@Grapes( @Grab(group='edu.washington.cs.types.checker', module='checker-annotated-jdk8', version='1.7.5') )
[edu.washington.cs.types.checker/checker-annotated-jdk8 "1.7.5"]
'edu.washington.cs.types.checker:checker-annotated-jdk8:jar:1.7.5'