[Bug 1048061] [NEW] Sync request for cvc3 2.4.1-4 from Debian sid

[Launchpad Bug Tracker]

You have been subscribed to a public bug by Chris Conway (cconway):

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

** Affects: cvc3 (Ubuntu)
     Importance: Undecided
         Status: New


** Tags: quantal
-- 
Sync request for cvc3 2.4.1-4 from Debian sid
https://bugs.launchpad.net/bugs/1048061
You received this bug notification because you are a member of Ubuntu Sponsors Team, which is subscribed to the bug report.