You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

23 lines
705 B

name: "checker_framework_dataflow"
description:
"The Checker Framework is a collection of java annotation processors that "
"use JSR308 (Type Annotations) to enhance the Java type system. This "
"package contains the Checker Framework's dataflow analysis."
third_party {
url {
type: HOMEPAGE
value: "https://checkerframework.org/"
}
url {
type: ARCHIVE
value: "http://repo1.maven.org/maven2/org/checkerframework/dataflow/2.5.3/dataflow-2.5.3-sources.jar"
}
url {
type: ARCHIVE
value: "http://repo1.maven.org/maven2/org/checkerframework/javacutil/2.5.3/javacutil-2.5.3-sources.jar"
}
version: "2.5.3"
last_upgrade_date { year: 2018 month: 10 day: 14}
}