Moritz Muehlenhoff Thu, 31 Oct 2019 16:09:53 -0700
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
