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