
15 May
2007
15 May
'07
10:21 a.m.
Christian Maeder schrieb:
i386: (42929114 Byte including documentation http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets...
Remarks: gcc-4.1.2 had a problem to build a ghci
I had this problem (that ghci seg-faulted) only on a specific machine. On another (identical) machine gcc-4.1.2 caused no problems. C.