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