On Mon 21 Oct 2013 22:36:42 NZDT +1300, Juergen Weigert wrote:
We wanted to get rid of the 'cross-' prefix at some point. I personally do not care so much about naming, and did not check if this move was ever completed. Probably not.
No it wasn't, but it's not difficult. It requires someone with write access to the AVR repo to do it for several packages at the same time, and to adjust dependencies and vuild dependencies. It might pay to put in an extra provides with the "cross-" prefix until all packages are changed.
The best time to do this might be with a clean-up, like now, together with a move from /opt to /usr.