diff --git a/distribution.xml b/distribution.xml index a4eb927d..9966ac53 100644 --- a/distribution.xml +++ b/distribution.xml @@ -10,6 +10,10 @@ glibc-32bit + isl + colorgcc + cloog + ppl kdgantt2 gpgmepp