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
[email protected]
--
To UNSUBSCRIBE, email to [email protected]
with a subject of "unsubscribe". Trouble? Contact [email protected]
