1name: "mksh" 2third_party { 3 url { 4 type: HOMEPAGE 5 value: "http://www.mirbsd.org/mksh" 6 } 7 url { 8 type: ARCHIVE 9 value: "http://www.mirbsd.org/MirOS/dist/mir/mksh/mksh-R59c.tgz" 10 } 11 version: "mksh-R59c" 12 license_type: NOTICE 13 last_upgrade_date { 14 year: 2023 15 month: 3 16 day: 31 17 } 18} 19