fixed obsoleted lists

2020-07-22 23:16:26 +03:00
parent e343b4c122
commit 97ada35e22
5 changed files with 20537 additions and 19884 deletions
@@ -11,9 +11,13 @@
           <!--glibc-32bit merge in glibc-->
           <Package>glibc-32bit</Package>
           <Package>isl</Package>
+           <Package>isl-devel</Package>
           <Package>colorgcc</Package>
           <Package>cloog</Package>
+           <Package>cloog-devel</Package>
           <Package>ppl</Package>
+           <Package>ppl-devel</Package>
+           <Package>ppl-doc</Package>
           <!-- separeted, replaced packages-->
           <Package>kdgantt2</Package>
           <Package>gpgmepp</Package>