Bug#945319: RM: cvc3 -- RoQA; unmaintained, RC-buggy

[Moritz Muehlenhoff]

Package: ftp.debian.org
Severity: normal

Please remove cvc3. It's unmaintained (last maintainer upload is from 2014
and the maintainer is also one of the authors) and FTBFSes since 1.5 years.

Cheers,
        Moritz