100755 blob d21132823c0c077037518522b7e75f1d56a5d9b8	00-deps.sh
100755 blob 18a1c04023c5171642785170343233904de03dbc	09-cleanup.sh
100755 blob 5132317cda77cabce7fe982348680d35fcc6eeab	10-build.sh
100755 blob ea5f998d4324dbb4348143db10061560c764993f	20-tests.sh
100755 blob 4ee9510e0651ddbdf994024f7a789ad78db5799d	30-coverage.sh
100755 blob d34c7cc15b985d78fc5d852d5ae3ae600224baf0	40-headers-check.sh
100644 blob 385af3434b972f05eecabb2ebb9c709852ca875f	README.md