100644 blob d511905c1647a1e311e8b20d5930a37a9c2531cd	COPYING
100644 blob 94b26e52835f50244e9f10a91eacba4846e54ee5	NEWS
100644 blob c18ad27930f83c3283c8912a28c5bcb8966aa13f	README
040000 tree b93f1763a2981708359ab2729e94728083bba768	documentation
040000 tree 6158f7043b0257f0e9bd0c628c1cfa8ca3c839ef	src
040000 tree 954900cc5257de3aae6ca45b462bde86038809d2	targets
040000 tree b1e98970bd7f7b130455946e55a98048ac7bc6a1	util