RobotIRremote library continues to create problems

he RobotIRremote library continues to create problems with the installation of the homonymous library irRemote.
Can you delete from installation of IDE 1.6.6 the RobotIRremote and make it optional?
It would be downloaded only by those who own the Arduino robot.

Antonio78:
Can you delete from installation of IDE 1.6.6 the RobotIRremote and make it optional?

That’s not the way it works. Once there is an IDE release it’s set in stone. It would create massive amounts of confusion if they went back and changed versions. That’s the whole point of a version. It refers to a specific state of the program. Also, why the heck would the developers want to mess with a version from so long ago? You do realize the current version is 1.6.12 right? 1.6.6 was one of the worst versions ever, if you want a stable old version go back to 1.6.5-r5 or better yet upgrade to a modern IDE version, there are some issues but nowhere near so many as 1.6.6 has.

I do agree that the RobotIRremote thing is a problem caused by the stupid naming of the library file and worse of all nobody uses that Arduino Robot, they don’t even make the thing anymore. One the other hand tons of people use the IRremote library and the issues causes by the conflict between the two libraries is very common.
This request has already been submitted to the Arduino developers: