Sync request for cvc3 2.4.1-4 from Debian sid

[Chris Conway]

THe cvc3 2.4.1-2 package, the version imported to quantal from Debian, has a release critical bug:
http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=684026

This has been fixed in 2.4.1-4, which is now in Debian unstable and testing.

Unfortunately, 2.4.1-4 fails to build for quantal. The package builds fine for all architectures in Debian unstable:
https://buildd.debian.org/status/package.php?p=cvc3

The build failure is seemingly due to a problem in gmp 2:5.0.2+dfsg-2ubuntu1. Here's a failed build log:
https://launchpadlibrarian.net/113299159/buildlog.txt.gz

For this reason, it may be necessary to import gmp version 2:5.0.5+dfsg-2 from Debian.

Additional details are available in this Launchpad question:
https://answers.launchpad.net/launchpad/+question/206561

[Martin Pitt (pitti)]

There is nothing to sponsor here right now, as gmp needs to be merged first (and the new version needs to be checked for new features, ABI/API changes, etc., as we are in feature freeze). Unsubscribing sponsors for now, please re-subscribe if gmp got fixed or merging the new version from Debian is safe. Thanks!

[Hans Joachim Desserud (hjd)]

I don't know how this played out, but I see that Ubuntu 14.04 shipped with cvc3 2.4.1-4ubuntu1, so I believe this can be considered fixed.