1name: "ply" 2description: 3 "" 4 5third_party { 6 url { 7 type: HOMEPAGE 8 value: "https://github.com/dabeaz/ply.git" 9 } 10 url { 11 type: GIT 12 value: "https://github.com/dabeaz/ply.git" 13 } 14 version: "3.11" 15 last_upgrade_date { year: 2018 month: 05 day: 22 } 16 license_type: PERMISSIVE 17} 18 19