Package: frama-c Version: 20090601~beta1+dfsg-1 Severity: grave Hi,
The current version of frama-c in unstable fails to load plugins at startup. This makes the use of plugins (like Jessie) impossible. I'm sending this bugreport to prevent frama-c from migrating to testing. I'll fix this bug as soon as I will have a usable computer. Cheers, -- System Information: Debian Release: squeeze/sid APT prefers testing APT policy: (990, 'testing'), (500, 'unstable'), (1, 'experimental') Architecture: i386 (x86_64) Kernel: Linux 2.6.30-1-amd64 (SMP w/2 CPU cores) Locale: LANG=fr_FR.UTF-8, LC_CTYPE=fr_FR.UTF-8 (charmap=UTF-8) (ignored: LC_ALL set to fr_FR.UTF-8) Shell: /bin/sh linked to /bin/bash Versions of packages frama-c depends on: ii emacs23-gtk [emacsen] 23.1+1-2 The GNU Emacs editor (with GTK+ us ii gcc 4:4.3.3-9 The GNU C compiler ii graphviz 2.20.2-3+b4 rich set of graph drawing tools ii libart-2.0-2 2.3.20-2 Library of functions for 2D graphi ii libatk1.0-0 1.26.0-1 The ATK accessibility toolkit ii libc6 2.9-23 GNU C Library: Shared libraries ii libcairo2 1.8.8-2 The Cairo 2D vector graphics libra ii libfontconfig1 2.6.0-4 generic font configuration library ii libfreetype6 2.3.9-5 FreeType 2 font engine, shared lib ii libglib2.0-0 2.20.4-1 The GLib library of C routines ii libgnomecanvas2-0 2.26.0-1 A powerful object-oriented display ii libgnomeprint2.2-0 2.18.6-1 The GNOME 2.2 print architecture - ii libgtk2.0-0 2.16.5-1 The GTK+ graphical user interface ii libgtksourceview1.0-0 1.8.5-2 shared libraries for the GTK+ synt ii libncurses5 5.7+20090803-1+b1 shared libraries for terminal hand ii libocamlgraph-ocaml-de 1.1-1 graph library for OCaml ii libpango1.0-0 1.24.5-1 Layout and rendering of internatio ii libxml2 2.7.3.dfsg-2.1 GNOME XML library ii why 2.19+dfsg-1 A software verification tool ii zlib1g 1:1.2.3.3.dfsg-15 compression library - runtime frama-c recommends no packages. frama-c suggests no packages. -- no debconf information -- To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
