040000 tree 4b366f0f91379f5e040366af849cd125a93a9635	examples
040000 tree 42857c994765e42ed668076eca3b8ce19729c6cb	nimble
040000 tree 7577448fbc182936a44656497e3b6f8c05244284	npl
040000 tree f55fc84aa67505da005f843956b225f3afe130d6	targets
100755 blob 7ede02c9dd2c04f21850f8cb4b6a7f6d199e0251	update_generated_files.sh