040000 tree 33dadd91195024bf359d5aef490e9501bb8a859d	7z
100755 blob 127506ba2f9221af535f9395ff4a2e843411d443	get_toolchain_if_necessary.py
100755 blob 288985ed2d8b25135c5bd68391a3eeda84cff664	toolchain2013.py