Home | History | Annotate | Download | only in annotation-tools 
      1 name: "annotation_tools"
      2 description:
      3     "Annotation File Utilities, used for inserting external annotations to source files"
      4 
      5 third_party {
      6   url {
      7     type: HOMEPAGE
      8     value: "https://github.com/typetools/annotation-tools"
      9   }
     10   url {
     11     type: ARCHIVE
     12     value: "https://checkerframework.org/annotation-file-utilities/annotation-tools-3.6.45.zip"
     13   }
     14   version: "3.6.45"
     15   last_upgrade_date { year: 2017 month: 9 day: 28 }
     16 }
     17