Bug#943930: Should cvc3 be removed?

[Moritz Muehlenhoff]

Source: cvc3
Severity: serious

Should cvc3 be removed? 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