[Fedora-legal-list] CVC3 License

[David A. Wheeler]

> I've got to think about what to call it, maybe cvc3-fedora, but given
> 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