040000 tree 33dadd91195024bf359d5aef490e9501bb8a859d	7z
100755 blob 522a6972ea8b64a115d79f6c0030251af44ee2d8	get_toolchain_if_necessary.py
100644 blob 0c4ee2a25768ecebb2dfed6efd18e8dd9ff02f79	package_from_installed.py
100755 blob 288985ed2d8b25135c5bd68391a3eeda84cff664	toolchain2013.py