frama-c paketinin sh4 sid dosya listesi

/usr/bin/frama-c-gui
/usr/share/applications/frama-c.desktop
/usr/share/doc/frama-c/README.Debian
/usr/share/doc/frama-c/TODO.Debian
/usr/share/doc/frama-c/changelog.Debian.gz
/usr/share/doc/frama-c/changelog.gz
/usr/share/doc/frama-c/copyright
/usr/share/icons/hicolor/scalable/apps/frama-c.svg
/usr/share/man/man1/frama-c-gui.1.gz
/usr/share/menu/frama-c
/usr/share/pixmaps/frama-c.xpm