I've got to think about what to call it, maybe cvc3-fedora, but
a suitable name, am I okay to proceed with submission of this package?
I suggest not including "fedora" in the name. The changes aren't
unique to fedora (gcc 4.3, doxygen crashing dot), and this is not a
fedora-unique application program.
Good names are tricky to find. How about cvc3-mod or cvc3-patched?
--- David A. Wheeler