Package: frama-c
Priority: extra
Section: universe/math
Installed-Size: 31989
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Architecture: i386
Version: 20151002+magnesium+dfsg-1build1
Replaces: frama-c-base (<< 20150201+sodium+dfsg-1~)
Depends: 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-mijd9, liblablgtk2-ocaml-ybcn9, liblablgtksourceview2-ocaml-gfeb3, ocaml-base-nox-4.02.3, frama-c-base (= 20151002+magnesium+dfsg-1build1), graphviz, emacs | emacsen
Recommends: why (>= 2.19+dfsg-2)
Breaks: frama-c-base (<< 20150201+sodium+dfsg-1~)
Filename: pool/universe/f/frama-c/frama-c_20151002+magnesium+dfsg-1build1_i386.deb
Size: 8152848
MD5sum: 6886636ffee7489973bec74c2695ea18
SHA1: 195ebe249a59b482f686baa5310d9ba00d66c750
SHA256: 85b30b7037f0054c10952fdbdd3702be88a06cb39b797f7cc91e568a56d5326f
Description: Framework for source code analysis of software written in C
Homepage: http://frama-c.com/
Description-md5: b6384f679a89283045abe11c16915e4b
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu