Sync request for cvc3 2.4.1-4 from Debian sid
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
cvc3 (Ubuntu) |
Fix Released
|
Undecided
|
Unassigned |
Bug Description
THe cvc3 2.4.1-2 package, the version imported to quantal from Debian, has a release critical bug:
http://
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:/
The build failure is seemingly due to a problem in gmp 2:5.0.2+
https:/
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:/
summary: |
- cvc3 2.4.1-2 has a release critical bug; fixed in Debian testing + Sync request for cvc3 2.4.1-4 from Debian sid |
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!