Christopher Ng Fri, 12 Sep 2014 08:12:34 -0700
I might have missed the explanation, but it seems that the 'solution' to this problem was to stop packaging Xspice. That doesn't seem a very good solution!
