100644 blob d511905c1647a1e311e8b20d5930a37a9c2531cd	COPYING
040000 tree e6531f899995721f35b90d6b02094a464ccd13ab	HOWTO
100644 blob 94b26e52835f50244e9f10a91eacba4846e54ee5	NEWS
040000 tree daaeadf3110dde2e2d31c0d681e1c0d1b89bc25c	documentation
040000 tree a8ea97c08800f029574c23b6557deaec80aac0fa	src
040000 tree 6bcd5cb38a39b64b25c92dffa7c6bf9e8be5ce98	targets
040000 tree a3263bf9fcdca3fb9c1db9708d7ed8c8b42a0ce6	util