Package: frama-c Priority: extra Section: universe/math Installed-Size: 10743 Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Architecture: amd64 Version: 20111001+nitrogen+dfsg-3 Depends: libc6 (>= 2.7), libgdk-pixbuf2.0-0 (>= 2.22.0), libglib2.0-0 (>= 2.24.0), libgnomecanvas2-0 (>= 2.11.1), libgtk2.0-0 (>= 2.24.0), libgtksourceview2.0-0 (>= 2.10.0), libpango1.0-0 (>= 1.14.0), frama-c-base (= 20111001+nitrogen+dfsg-3), graphviz, emacs | emacsen Recommends: why (>= 2.19+dfsg-2) Filename: pool/universe/f/frama-c/frama-c_20111001+nitrogen+dfsg-3_amd64.deb Size: 3573886 MD5sum: 6e8f3246f4a0ecd3087e233fa084975a SHA1: cdbfd2c21fe715f661e4ba0a6d7edf7d3a93cd6c SHA256: 1b0beeab96114e5c77af65282cbc9676ca535cd3997835f083b6d0d746642789 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