100644 blob 9fb436b30432950a1e2bce0d5b5ace338051b8a2	README
040000 tree 40643d7aa73aa3833935c8d7cf7d7083fc6cad4b	prj
040000 tree 8a4d750df63eb71fa6c42684c0d7acd27dede85e	raptor
040000 tree 116e07d57db4c887c2c060c283d05b3efc20212c	rasqal
040000 tree f31cbed0d8160d966597483ee942258cfdd7b6ad	redland
100644 blob ed01acf7403a97b165c53c2e5864cfc4bfe2af31	redlandversion.mk