Package: prover9-mace4 Version: 0.5.dfsg-1 Severity: important prover9-mace4 fails to start for me on amd64. It works fine on i386:
% prover9-mace4 Traceback (most recent call last): File "/usr/bin/prover9-mace4", line 658, in <module> app = My_app(redirect=False) File "/usr/lib/python2.5/site-packages/wx-2.6-gtk2-unicode/wx/_core.py", line 7700, in __init__ self._BootstrapApp() File "/usr/lib/python2.5/site-packages/wx-2.6-gtk2-unicode/wx/_core.py", line 7352, in _BootstrapApp return _core_.PyApp__BootstrapApp(*args, **kwargs) File "/usr/bin/prover9-mace4", line 633, in OnInit frame = Main_frame(None, 'Prover9/Mace4', size, pos) File "/usr/bin/prover9-mace4", line 412, in __init__ self.setup = Setup_tabs(self) File "/usr/share/prover9-mace4/lib/my_setup.py", line 400, in __init__ self.p9_options = P9_options_panel(self) File "/usr/share/prover9-mace4/lib/my_setup.py", line 242, in __init__ self.panels = P9_options(self.panel2) # dictionary indexed by sets File "/usr/share/prover9-mace4/lib/options.py", line 784, in __init__ panels[name] = Options_panel(parent, name, None, options) File "/usr/share/prover9-mace4/lib/options.py", line 231, in __init__ x = wx.SpinCtrl(self,id,min=min,max=max,size=(75,-1)) File "/usr/lib/python2.5/site-packages/wx-2.6-gtk2-unicode/wx/_controls.py", line 2334, in __init__ newobj = _controls_.new_SpinCtrl(*args, **kwargs) OverflowError: argument number 7: value -9223372036854775807 is less than 'int' minimum -2147483648 -- Jonny Lamb, UK jo...@debian.org -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org