This package is 8.1 MB.
It is available at http://archive.ubuntu.com/ubuntu/pool/universe/f/frama-c/frama-c_20151002+magnesium+dfsg-1build1_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), liblablgtk2-gnome-ocaml-0cyd2, liblablgtk2-ocaml-liqy2, liblablgtksourceview2-ocaml-fbbu3, ocaml-base-nox-4.02.3, frama-c-base (= 20151002+magnesium+dfsg-1build1), 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 20151002+magnesium+dfsg-1build1 is in ubuntu - xenial / 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 | 11.8 MB |
/usr/lib/
|
root:root | 0o755 | ||
/usr/lib/frama-c/
|
root:root | 0o755 | ||
/usr/lib/frama-c/analyses_manager.cmi
|
application/octet-stream | root:root | 0o644 | 206 bytes |
/usr/lib/frama-c/analyses_manager.cmo
|
application/octet-stream | root:root | 0o644 | 15.1 KB |
/usr/lib/frama-c/analyses_manager.cmx
|
application/octet-stream | root:root | 0o644 | 4.7 KB |
/usr/lib/frama-c/analyses_manager.o
|
application/x-object | root:root | 0o644 | 16.5 KB |
/usr/lib/frama-c/book_manager.cmi
|
application/octet-stream | root:root | 0o644 | 3.3 KB |
/usr/lib/frama-c/book_manager.cmo
|
application/octet-stream | root:root | 0o644 | 27.2 KB |
/usr/lib/frama-c/book_manager.cmx
|
application/octet-stream | root:root | 0o644 | 5.0 KB |
/usr/lib/frama-c/book_manager.o
|
application/x-object | root:root | 0o644 | 35.5 KB |
/usr/lib/frama-c/debug_manager.cmi
|
application/octet-stream | root:root | 0o644 | 200 bytes |
/usr/lib/frama-c/debug_manager.cmo
|
application/octet-stream | root:root | 0o644 | 11.2 KB |
/usr/lib/frama-c/debug_manager.cmx
|
application/octet-stream | root:root | 0o644 | 3.9 KB |
/usr/lib/frama-c/debug_manager.o
|
application/x-object | root:root | 0o644 | 11.7 KB |
/usr/lib/frama-c/design.cmi
|
application/octet-stream | root:root | 0o644 | 33.5 KB |
/usr/lib/frama-c/design.cmo
|
application/octet-stream | root:root | 0o644 | 271.0 KB |
/usr/lib/frama-c/design.cmx
|
application/octet-stream | root:root | 0o644 | 8.3 KB |
/usr/lib/frama-c/design.o
|
application/x-object | root:root | 0o644 | 235.0 KB |
/usr/lib/frama-c/file_manager.cmi
|
application/octet-stream | root:root | 0o644 | 198 bytes |
/usr/lib/frama-c/file_manager.cmo
|
application/octet-stream | root:root | 0o644 | 21.7 KB |
/usr/lib/frama-c/file_manager.cmx
|
application/octet-stream | root:root | 0o644 | 5.0 KB |
/usr/lib/frama-c/file_manager.o
|
application/x-object | root:root | 0o644 | 24.0 KB |
/usr/lib/frama-c/filetree.cmi
|
application/octet-stream | root:root | 0o644 | 7.2 KB |
/usr/lib/frama-c/filetree.cmo
|
application/octet-stream | root:root | 0o644 | 168.6 KB |
/usr/lib/frama-c/filetree.cmx
|
application/octet-stream | root:root | 0o644 | 6.1 KB |
/usr/lib/frama-c/filetree.o
|
application/x-object | root:root | 0o644 | 109.7 KB |
/usr/lib/frama-c/gtk_form.cmi
|
application/octet-stream | root:root | 0o644 | 3.2 KB |
/usr/lib/frama-c/gtk_form.cmo
|
application/octet-stream | root:root | 0o644 | 25.1 KB |
/usr/lib/frama-c/gtk_form.cmx
|
application/octet-stream | root:root | 0o644 | 1.8 KB |
/usr/lib/frama-c/gtk_form.o
|
application/x-object | root:root | 0o644 | 23.2 KB |
/usr/lib/frama-c/gtk_helper.cmi
|
application/octet-stream | root:root | 0o644 | 71.5 KB |
/usr/lib/frama-c/gtk_helper.cmo
|
application/octet-stream | root:root | 0o644 | 701.4 KB |
/usr/lib/frama-c/gtk_helper.cmx
|
application/octet-stream | root:root | 0o644 | 12.9 KB |
/usr/lib/frama-c/gtk_helper.o
|
application/x-object | root:root | 0o644 | 219.1 KB |
/usr/lib/frama-c/gui_parameters.cmi
|
application/octet-stream | root:root | 0o644 | 8.4 KB |
/usr/lib/frama-c/gui_parameters.cmo
|
application/octet-stream | root:root | 0o644 | 64.1 KB |
/usr/lib/frama-c/gui_parameters.cmx
|
application/octet-stream | root:root | 0o644 | 15.1 KB |
/usr/lib/frama-c/gui_parameters.o
|
application/x-object | root:root | 0o644 | 7.4 KB |
/usr/lib/frama-c/gui_printers.cmi
|
application/octet-stream | root:root | 0o644 | 1.3 KB |
/usr/lib/frama-c/gui_printers.cmo
|
application/octet-stream | root:root | 0o644 | 59.1 KB |
/usr/lib/frama-c/gui_printers.cmx
|
application/octet-stream | root:root | 0o644 | 4.0 KB |
/usr/lib/frama-c/gui_printers.o
|
application/x-object | root:root | 0o644 | 40.4 KB |
/usr/lib/frama-c/help_manager.cmi
|
application/octet-stream | root:root | 0o644 | 198 bytes |
/usr/lib/frama-c/help_manager.cmo
|
application/octet-stream | root:root | 0o644 | 16.2 KB |
/usr/lib/frama-c/help_manager.cmx
|
application/octet-stream | root:root | 0o644 | 2.9 KB |
/usr/lib/frama-c/help_manager.o
|
application/x-object | root:root | 0o644 | 15.1 KB |
/usr/lib/frama-c/history.cmi
|
application/octet-stream | root:root | 0o644 | 3.9 KB |
/usr/lib/frama-c/history.cmo
|
application/octet-stream | root:root | 0o644 | 41.3 KB |
/usr/lib/frama-c/history.cmx
|
application/octet-stream | root:root | 0o644 | 5.0 KB |
/usr/lib/frama-c/history.o
|
application/x-object | root:root | 0o644 | 28.1 KB |
/usr/lib/frama-c/launcher.cmi
|
application/octet-stream | root:root | 0o644 | 5.2 KB |
/usr/lib/frama-c/launcher.cmo
|
application/octet-stream | root:root | 0o644 | 75.7 KB |
/usr/lib/frama-c/launcher.cmx
|
application/octet-stream | root:root | 0o644 | 5.3 KB |
/usr/lib/frama-c/launcher.o
|
application/x-object | root:root | 0o644 | 49.8 KB |
/usr/lib/frama-c/menu_manager.cmi
|
application/octet-stream | root:root | 0o644 | 9.7 KB |
/usr/lib/frama-c/menu_manager.cmo
|
application/octet-stream | root:root | 0o644 | 61.5 KB |
/usr/lib/frama-c/menu_manager.cmx
|
application/octet-stream | root:root | 0o644 | 4.7 KB |
/usr/lib/frama-c/menu_manager.o
|
application/x-object | root:root | 0o644 | 48.8 KB |
/usr/lib/frama-c/plugins/
|
root:root | 0o755 | ||
/usr/lib/frama-c/plugins/gui/
|
root:root | 0o755 | ||
/usr/lib/frama-c/plugins/gui/Callgraph_gui.cmi
|
application/octet-stream | root:root | 0o644 | 200 bytes |
/usr/lib/frama-c/plugins/gui/Callgraph_gui.cmo
|
application/octet-stream | root:root | 0o644 | 41.8 KB |
/usr/lib/frama-c/plugins/gui/Callgraph_gui.cmxs
|
application/x-sharedlib | root:root | 0o644 | 29.3 KB |
/usr/lib/frama-c/plugins/gui/From.cmi
|
application/octet-stream | root:root | 0o644 | 182 bytes |
/usr/lib/frama-c/plugins/gui/From.cmo
|
application/octet-stream | root:root | 0o644 | 397.0 KB |
/usr/lib/frama-c/plugins/gui/From.cmxs
|
application/x-sharedlib | root:root | 0o644 | 156.2 KB |
/usr/lib/frama-c/plugins/gui/Metrics.cmi
|
application/octet-stream | root:root | 0o644 | 188 bytes |
/usr/lib/frama-c/plugins/gui/Metrics.cmo
|
application/octet-stream | root:root | 0o644 | 737.3 KB |
/usr/lib/frama-c/plugins/gui/Metrics.cmxs
|
application/x-sharedlib | root:root | 0o644 | 400.1 KB |
/usr/lib/frama-c/plugins/gui/Occurrence.cmi
|
application/octet-stream | root:root | 0o644 | 194 bytes |
/usr/lib/frama-c/plugins/gui/Occurrence.cmo
|
application/octet-stream | root:root | 0o644 | 180.9 KB |
/usr/lib/frama-c/plugins/gui/Occurrence.cmxs
|
application/x-sharedlib | root:root | 0o644 | 83.0 KB |
/usr/lib/frama-c/plugins/gui/Scope.cmi
|
application/octet-stream | root:root | 0o644 | 184 bytes |
/usr/lib/frama-c/plugins/gui/Scope.cmo
|
application/octet-stream | root:root | 0o644 | 365.5 KB |
/usr/lib/frama-c/plugins/gui/Scope.cmxs
|
application/x-sharedlib | root:root | 0o644 | 189.6 KB |
/usr/lib/frama-c/plugins/gui/Security_slicing.cmi
|
application/octet-stream | root:root | 0o644 | 206 bytes |
/usr/lib/frama-c/plugins/gui/Security_slicing.cmo
|
application/octet-stream | root:root | 0o644 | 98.3 KB |
/usr/lib/frama-c/plugins/gui/Security_slicing.cmxs
|
application/x-sharedlib | root:root | 0o644 | 72.6 KB |
/usr/lib/frama-c/plugins/gui/Slicing.cmi
|
application/octet-stream | root:root | 0o644 | 2.7 KB |
/usr/lib/frama-c/plugins/gui/Slicing.cmo
|
application/octet-stream | root:root | 0o644 | 1.0 MB |
/usr/lib/frama-c/plugins/gui/Slicing.cmxs
|
application/x-sharedlib | root:root | 0o644 | 619.0 KB |
/usr/lib/frama-c/plugins/gui/Value.cmi
|
application/octet-stream | root:root | 0o644 | 184 bytes |
/usr/lib/frama-c/plugins/gui/Value.cmo
|
application/octet-stream | root:root | 0o644 | 2.7 MB |
/usr/lib/frama-c/plugins/gui/Value.cmxs
|
application/x-sharedlib | root:root | 0o644 | 1.3 MB |
/usr/lib/frama-c/plugins/gui/Wp.cma
|
application/octet-stream | root:root | 0o644 | 7.0 MB |
/usr/lib/frama-c/plugins/gui/Wp.cmi
|
application/octet-stream | root:root | 0o644 | 178 bytes |
/usr/lib/frama-c/plugins/gui/Wp.cmxs
|
application/x-sharedlib | root:root | 0o644 | 4.0 MB |
/usr/lib/frama-c/pretty_source.cmi
|
application/octet-stream | root:root | 0o644 | 5.8 KB |
/usr/lib/frama-c/pretty_source.cmo
|
application/octet-stream | root:root | 0o644 | 274.7 KB |
/usr/lib/frama-c/pretty_source.cmx
|
application/octet-stream | root:root | 0o644 | 7.3 KB |
/usr/lib/frama-c/pretty_source.o
|
application/x-object | root:root | 0o644 | 149.7 KB |
/usr/lib/frama-c/project_manager.cmi
|
application/octet-stream | root:root | 0o644 | 204 bytes |
/usr/lib/frama-c/project_manager.cmo
|
application/octet-stream | root:root | 0o644 | 52.9 KB |
/usr/lib/frama-c/project_manager.cmx
|
application/octet-stream | root:root | 0o644 | 6.2 KB |
/usr/lib/frama-c/project_manager.o
|
application/x-object | root:root | 0o644 | 45.5 KB |
/usr/lib/frama-c/property_navigator.cmi
|
application/octet-stream | root:root | 0o644 | 210 bytes |
/usr/lib/frama-c/property_navigator.cmo
|
application/octet-stream | root:root | 0o644 | 119.9 KB |
/usr/lib/frama-c/property_navigator.cmx
|
application/octet-stream | root:root | 0o644 | 7.0 KB |
/usr/lib/frama-c/property_navigator.o
|
application/x-object | root:root | 0o644 | 99.4 KB |
/usr/lib/frama-c/source_manager.cmi
|
application/octet-stream | root:root | 0o644 | 3.6 KB |
/usr/lib/frama-c/source_manager.cmo
|
application/octet-stream | root:root | 0o644 | 26.4 KB |
/usr/lib/frama-c/source_manager.cmx
|
application/octet-stream | root:root | 0o644 | 3.8 KB |
/usr/lib/frama-c/source_manager.o
|
application/x-object | root:root | 0o644 | 26.5 KB |
/usr/lib/frama-c/source_viewer.cmi
|
application/octet-stream | root:root | 0o644 | 1.8 KB |
/usr/lib/frama-c/source_viewer.cmo
|
application/octet-stream | root:root | 0o644 | 7.5 KB |
/usr/lib/frama-c/source_viewer.cmx
|
application/octet-stream | root:root | 0o644 | 2.9 KB |
/usr/lib/frama-c/source_viewer.o
|
application/x-object | root:root | 0o644 | 8.1 KB |
/usr/lib/frama-c/toolbox.cmi
|
application/octet-stream | root:root | 0o644 | 60.9 KB |
/usr/lib/frama-c/toolbox.cmo
|
application/octet-stream | root:root | 0o644 | 358.4 KB |
/usr/lib/frama-c/toolbox.cmx
|
application/octet-stream | root:root | 0o644 | 4.5 KB |
/usr/lib/frama-c/toolbox.o
|
application/x-object | root:root | 0o644 | 236.8 KB |
/usr/lib/frama-c/warning_manager.cmi
|
application/octet-stream | root:root | 0o644 | 1.5 KB |
/usr/lib/frama-c/warning_manager.cmo
|
application/octet-stream | root:root | 0o644 | 41.4 KB |
/usr/lib/frama-c/warning_manager.cmx
|
application/octet-stream | root:root | 0o644 | 4.0 KB |
/usr/lib/frama-c/warning_manager.o
|
application/x-object | root:root | 0o644 | 26.5 KB |
/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 |