040000 tree fa4900009d0fc6f65c0247d9f92dd081df05bc8a	examples
040000 tree 5035fd15068d4e6c4ed8f8b7b24d9f586d69d87d	nimble
040000 tree e50234ae949693ea9d33e45ee47231bc3272f0ee	npl
040000 tree c29d8ebe084cac45d0646e7088e277114c272e81	targets
100755 blob 7365bc3ed6c15060cfc2ddc7313c9db5f4201adf	update_generated_files.sh