*** This bug is a duplicate of bug 982605 ***
https://bugs.launchpad.net/bugs/982605
The bug #982605 is private and the attached data of this bug has been
removed.
Jon, could you reproduce the crash? Could you attach again the core
dump? Without these information I cannot do anything for solv
*** This bug is a duplicate of bug 982605 ***
https://bugs.launchpad.net/bugs/982605
Thank you for taking the time to report this crash and helping to make
this software better. This particular crash has already been reported
and is a duplicate of bug #982605, so is being marked as such. Ple
