Yann, All, Your patch: complibs/cloog: remove old CLooG/PPL versions has been applied as: #1eea25c0bfe7 http://crosstool-ng.org/hg/crosstool-ng/rev/1eea25c0bfe7 Thank you! Regards, Yann E. MORIN. -- For unsubscribe information see http://sourceware.org/lists.html#faq