| name: "annotation_tools" | |
| description: | |
| "Annotation File Utilities, used for inserting external annotations to source files" | |
| third_party { | |
| url { | |
| type: HOMEPAGE | |
| value: "https://github.com/typetools/annotation-tools" | |
| } | |
| url { | |
| type: ARCHIVE | |
| value: "https://checkerframework.org/annotation-file-utilities/annotation-tools-3.6.45.zip" | |
| } | |
| version: "3.6.45" | |
| last_upgrade_date { year: 2017 month: 9 day: 28 } | |
| } |