100755 blob 44940a3a2e08b9c98a6fe1932f2cd717c4c794ae	build.sh
100755 blob 99486d957328dbbb160c60c1dc0bb999bff2e124	covupload.sh
100755 blob 8d195a86805558fb2347a7a1b4b19453815bcb95	distcheck.sh
100755 blob 972d09e77f7f278ab98dc6b52f1603dd1152ad23	test.sh