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

2018-07-24 Thread Hans Joachim Desserud
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.

** Changed in: cvc3 (Ubuntu)
   Status: New => Fix Released

** Tags added: upgrade-software-version

-- 
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1048061

Title:
  Sync request for cvc3 2.4.1-4 from Debian sid

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/cvc3/+bug/1048061/+subscriptions

-- 
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs

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

2012-09-09 Thread Martin Pitt
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!

-- 
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1048061

Title:
  Sync request for cvc3 2.4.1-4 from Debian sid

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/cvc3/+bug/1048061/+subscriptions

-- 
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs


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

2012-09-08 Thread Chris Conway
** Summary changed:

- 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

-- 
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1048061

Title:
  Sync request for cvc3 2.4.1-4 from Debian sid

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/cvc3/+bug/1048061/+subscriptions

-- 
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs