diff --git a/develop/cloog-ppl/cloog-ppl.desc b/develop/cloog-ppl/cloog-ppl.desc
index 65410aabc..47a65e4e0 100644
--- a/develop/cloog-ppl/cloog-ppl.desc
+++ b/develop/cloog-ppl/cloog-ppl.desc
@@ -31,7 +31,7 @@
 
 [L] GPL
 [S] Stable
-[V] 0.15.8
+[V] 0.15.9
 [P] X 0--3-5---9 102.270
 
-[D] 3169814049 cloog-ppl-0.15.8.tar.gz ftp://gcc.gnu.org/pub/gcc/infrastructure/
+[D] 3008193790 cloog-ppl-0.15.9.tar.gz ftp://gcc.gnu.org/pub/gcc/infrastructure/