Hi There, I would like to ask you what is the situation with ghci on arm. I bought Jetson TK1 and I am really sad that ghci does not works there. I have found mentioned somewhere that this should be fixed in 7.4.2 but still it is not. Can somebody clarify what is the situation at the moment and what are further plans? Best regards, T. -- <warning> This e-mail is intended for the named recipient(s). It may contain privileged and/or confidential information. If you are not one of the intended recipients, please notify the sender immediately and destroy this e-mail and attachment(s): you must not copy, distribute, retain or take any action in reliance upon the email or attachment(s). While all reasonable efforts are made to safeguard inbound and outbound e-mails, Tomas Korcak cannot guarantee that attachments are virus-free or are compatible with your systems, and does not accept liability in respect of viruses or computer problems experienced. Thank you. </warning> <notice> Your Skills In Reading Have Improved +1 </notice> <idea> Some days you're the dog; some days you're the hydrant. </idea>