Package: frama-c Version: 20100401+boron+dfsg-4+3.12.0+1 Severity: wishlist
It would be really nice if we could have CIL packaged as standalone OCaml libraries. -- System Information: Debian Release: 6.0 APT prefers testing APT policy: (900, 'testing'), (700, 'stable'), (500, 'stable'), (90, 'unstable'), (1, 'experimental') Architecture: amd64 (x86_64) Kernel: Linux 2.6.32-5-amd64 (SMP w/2 CPU cores) Locale: LANG=fr_CH.UTF-8, LC_CTYPE=fr_CH.UTF-8 (charmap=UTF-8) Shell: /bin/sh linked to /bin/bash Versions of packages frama-c depends on: ii emacs [em 23.2+1-7 The GNU Emacs editor (metapackage) ii emacs21 [ 21.4a+1-5.7 The GNU Emacs editor ii emacs22 [ 22.3+1-1.2 The GNU Emacs editor ii emacs23-n 23.2+1-7 The GNU Emacs editor (without X su ii frama-c-b 20100401+boron+dfsg-4+3.12.0+1 Framework for C source code analys ii graphviz 2.26.3-5 rich set of graph drawing tools ii libart-2. 2.3.21-1 Library of functions for 2D graphi ii libatk1.0 1.30.0-1 The ATK accessibility toolkit ii libc6 2.11.2-7 Embedded GNU C Library: Shared lib ii libcairo2 1.8.10-6 The Cairo 2D vector graphics libra ii libfontco 2.8.0-2.1 generic font configuration library ii libfreety 2.4.2-2.1 FreeType 2 font engine, shared lib ii libglib2. 2.24.2-1 The GLib library of C routines ii libgnomec 2.30.1-1 A powerful object-oriented display ii libgtk2.0 2.20.1-2 The GTK+ graphical user interface ii libgtksou 2.10.4-1 shared libraries for the GTK+ synt ii libpango1 1.28.3-1 Layout and rendering of internatio Versions of packages frama-c recommends: pn why <none> (no description available) frama-c suggests no packages. -- no debconf information -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
