Package name changes

[Quentin Spencer]

Hi all,
When I imported the GiNaC package to extras, I kept the capitalization 
in the name (which I admit is odd) so it would match upstream. So, 
there's now a new release in which the upstream developer has apparently 
modified the name of the package so that it's all lower case. I probably 
should have done this to begin with (the Debian package did), but 
suppose I wanted to now make a switch to a more sane all-lower-case 
name--how would I go about it? (I haven't yet decided to do this--I just 
want to figure out what's involved). I've never used the "Obsoletes" in 
a spec file before, but I suppose that would be needed here? More 
importantly, would I need to create a new package in CVS that obsoletes 
the old one, or just put a renamed spec file in the old CVS tree? 
Lastly, is all of this worth it for a fairly trivial name change? (Note 
that packages requiring ginac aren't a big problem--there's only one).

-Quentin