diff --git a/develop/cloog-ppl/cloog-ppl.cache b/attic/cloog-ppl/cloog-ppl.cache
similarity index 100%
rename from develop/cloog-ppl/cloog-ppl.cache
rename to attic/cloog-ppl/cloog-ppl.cache
diff --git a/develop/cloog-ppl/cloog-ppl.conf b/attic/cloog-ppl/cloog-ppl.conf
similarity index 100%
rename from develop/cloog-ppl/cloog-ppl.conf
rename to attic/cloog-ppl/cloog-ppl.conf
diff --git a/develop/cloog-ppl/cloog-ppl.desc b/attic/cloog-ppl/cloog-ppl.desc
similarity index 100%
rename from develop/cloog-ppl/cloog-ppl.desc
rename to attic/cloog-ppl/cloog-ppl.desc