[pacman-dev] installing two packages conflicting with each other

[Xavier]

Actually, I think conflicts and provides are pretty clear.
Only replaces is more confusing.
>From the man page :
replaces (array) : An  array  of packages that this package should
replace, and can be used to handle renamed/combined packages. For
example, if the 'j2re' package is renamed to 'jre', this directive
allows future upgrades to continue as expected even  though  the
package  has moved.

Renaming package is exactly the case of FS #7415
But should replaces be used together with provides and conflicts ?
Aren't provides and conflicts implicit when a package is renamed ?

Maybe the problem here is that this renaming happens in another repo
(gnome-devel), and so the old package remains in extra.