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
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