db-remove: cloog removed by allan

git-svn-id: file:///srv/repos/svn-packages/svn@226379 eb2447ed-0c53-47e4-bac8-5bc4a241df78
db-remove: isl removed by allan

git-svn-id: file:///srv/repos/svn-packages/svn@226380 eb2447ed-0c53-47e4-bac8-5bc4a241df78
db-remove: cloog removed by allan

git-svn-id: file:///srv/repos/svn-packages/svn@226381 eb2447ed-0c53-47e4-bac8-5bc4a241df78
db-remove: isl removed by allan

git-svn-id: file:///srv/repos/svn-packages/svn@226382 eb2447ed-0c53-47e4-bac8-5bc4a241df78