Hem, how the heck did I miss this before, I have no idea…
Um, what collides? (too lazy to keyword it)
libppl.{so,a,la} :/
That's no fun. I don't think we can change ppl's library names without breaking GCC.
very old and hardly used, partysip will have to rename itself me thinks
Partysip is clearly dead for a long time: http://savannah.nongnu.org/forum/forum.php?forum_id=6353 I think it's time of treecleaning it
dropped