package(default_visibility = ["//visibility:public"])

licenses(["notice"])

alias(
    name = "checker_framework_annotations",
    actual = "//third_party:checker_framework_annotations",
)

filegroup(
    name = "srcs",
    srcs = glob(["**"]),
)