From 9cd5222a9c3a89bb08091c77ffec9445a1346874 Mon Sep 17 00:00:00 2001
From: Idris Kalp <idriskalp@gmail.com>
Date: Sun, 29 Dec 2019 15:12:22 +0300
Subject: [PATCH] Update distribution.xml

---
 distribution.xml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/distribution.xml b/distribution.xml
index a4eb927d..9966ac53 100644
--- a/distribution.xml
+++ b/distribution.xml
@@ -10,6 +10,10 @@
     <Obsoletes>
            <!--glibc-32bit merge in glibc-->
            <Package>glibc-32bit</Package>
+           <Package>isl</Package>
+           <Package>colorgcc</Package>
+           <Package>cloog</Package>
+           <Package>ppl</Package>
            <!-- separeted, replaced packages-->
            <Package>kdgantt2</Package>
            <Package>gpgmepp</Package>