ID0001294: **This issue was created automatically from Mantis Issue 1294. Further discussion may take place here.** --- | **Id** | **Project** | **Category** | **View** | **Due Date** | **Updated** | | --- | --- | --- | --- | --- | --- | | ID0001294 | Frama-C | Graphical User Interface | public | 2012-11-02 | 2012-12-06 | | | | | | | | | --- | --- | --- | --- | --- | --- | | **Reporter** | ngong | **Assigned To** | monate | **Resolution** | no change required | | **Priority** | normal | **Severity** | minor | **Reproducibility** | have not tried | | **Platform** | - | **OS** | - | **OS Version** | - | | **Product Version** | Frama-C Nitrogen-20111001 | **Target Version** | - | **Fixed in Version** | - | ### Description : after installing package frama-c on Debian SID 64 bit, the command frama-c-gui -slevel 10 -val p.c led to the failure message frama-c-gui: error while loading shared libraries: libgtksourceview-2.0.so.0: wrong ELF class: ELFCLASS64 and did not show anything else. I expected to see what is mentioned on page http://frama-c.com/try_out.html