CVC3 Packaging

Bugs are tracked in Debian Bug tracker.

Getting started with bug tracking in Launchpad.

Ubuntu also tracks bugs for packages derived from this project: cvc3 in Ubuntu.