Ubuntu
cvc3 package

  1. Bug #1048061
  2. Comment #1

Comment 1 for bug 1048061

Revision history for this message
Martin Pitt (pitti) wrote :

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!