This package is 3.3 MB.
It is available at http://archive.ubuntu.com/ubuntu/pool/universe/f/frama-c/frama-c_20130601+fluorine3+dfsg-2build1_amd64.deb
.
View its full control file here:
debian/control.
Framework for source code analysis of software written in C
This package depends on:
libc6 (>= 2.15), libgdk-pixbuf2.0-0 (>= 2.22.0), libglib2.0-0 (>= 2.35.9), libgmp10, libgnomecanvas2-0 (>= 2.11.1), libgtk2.0-0 (>= 2.24.0), libgtksourceview2.0-0 (>= 2.10.0), libpango-1.0-0 (>= 1.14.0), frama-c-base (= 20130601+fluorine3+dfsg-2build1), graphviz, emacs | emacsen.
This package recommends:
why (>= 2.19+dfsg-2).
This package does not suggest any other package.
This package does not conflict with any other package.
frama-c 20130601+fluorine3+dfsg-2build1 is in ubuntu - trusty / universe. This package's architecture is: amd64.
| File | Mime Type | Owner | Mode | Size |
|---|---|---|---|---|
postinst
|
text/x-shellscript | N/A | N/A | 185 bytes |
postrm
|
text/x-shellscript | N/A | N/A | 160 bytes |
/usr/
|
root:root | 0o755 | ||
/usr/bin/
|
root:root | 0o755 | ||
/usr/bin/frama-c-gui
|
application/x-executable | root:root | 0o755 | 14.6 MB |
/usr/share/
|
root:root | 0o755 | ||
/usr/share/applications/
|
root:root | 0o755 | ||
/usr/share/applications/frama-c.desktop
|
text/plain | root:root | 0o644 | 230 bytes |
/usr/share/doc/
|
root:root | 0o755 | ||
/usr/share/doc/frama-c/
|
root:root | 0o755 | ||
/usr/share/doc/frama-c/changelog.Debian.gz
|
root:root | 0o777 | ||
/usr/share/doc/frama-c/copyright
|
text/plain | root:root | 0o644 | 35.5 KB |
/usr/share/doc/frama-c/README.Debian
|
text/plain | root:root | 0o644 | 660 bytes |
/usr/share/doc/frama-c/TODO.Debian
|
text/x-diff | root:root | 0o644 | 2.0 KB |
/usr/share/icons/
|
root:root | 0o755 | ||
/usr/share/icons/hicolor/
|
root:root | 0o755 | ||
/usr/share/icons/hicolor/scalable/
|
root:root | 0o755 | ||
/usr/share/icons/hicolor/scalable/apps/
|
root:root | 0o755 | ||
/usr/share/icons/hicolor/scalable/apps/frama-c.svg
|
image/svg+xml | root:root | 0o644 | 2.7 KB |
/usr/share/man/
|
root:root | 0o755 | ||
/usr/share/man/man1/
|
root:root | 0o755 | ||
/usr/share/man/man1/frama-c-gui.1.gz
|
root:root | 0o777 | ||
/usr/share/menu/
|
root:root | 0o755 | ||
/usr/share/menu/frama-c
|
text/plain | root:root | 0o644 | 156 bytes |
/usr/share/pixmaps/
|
root:root | 0o755 | ||
/usr/share/pixmaps/frama-c.xpm
|
image/x-xpmi | root:root | 0o644 | 3.7 KB |