Thanks for the info, now I have a better understanding of what happened. If it was a one-time crash, and it works just fine now, then I think we can close the bug. Does it still crash for you? -- bug reported to me on installation of 25 pkgs https://launchpad.net/bugs/71111