--- layout: fc_discuss_archives title: Message 17 from Frama-C-discuss on May 2010 ---
> > Which version of the pacakge are you using? > <http://dogguy.org/> Here is what apt-cache show says: (I installed the packages this morning) $ apt-cache show why Package: why Priority: optional Section: universe/math Installed-Size: 18308 Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com> Original-Maintainer: Debian OCaml Maintainers < debian-ocaml-maint at lists.debian.org> Architecture: amd64 Version: 2.18.dfsg-5 Depends: libatk1.0-0 (>= 1.20.0), libc6 (>= 2.4), libcairo2 (>= 1.2.4), libfontconfig1 (>= 2.4.0), libfreetype6 (>= 2.2.1), libglib2.0-0 (>= 2.16.0), libgtk2.0-0 (>= 2.17.7), libpango1.0-0 (>= 1.14.0) Recommends: alt-ergo Suggests: libwhy-coq (= 2.18.dfsg-5) Filename: pool/universe/w/why/why_2.18.dfsg-5_amd64.deb Size: 5721102 MD5sum: ffee3d41cafa9296bd3085347a2b43bb SHA1: ae593b4cd0365d37ee72353fa210abfd160d5c8d SHA256: 6860650f13a82d62689b7340846574ed5c2d45ab216ff72c6e3570f63ff99ba5 Description: A software verification tool Why aims at being a verification conditions generator (VCG) back-end for other verification tools. It provides a powerful input language including higher-order functions, polymorphism, references, arrays and exceptions. It generates proof obligations for many systems: the proof assistants Coq, PVS, Isabelle/HOL, HOL 4, HOL Light, Mizar and the decision procedures Simplify, Alt-Ergo, Yices, CVC Lite and haRVey. Bugs: https://bugs.launchpad.net/ubuntu/+filebug Origin: Ubuntu $ apt-cache show frama-c Package: frama-c Priority: extra Section: universe/math Installed-Size: 21088 Maintainer: Ubuntu MOTU Developers <ubuntu-motu at lists.ubuntu.com> Original-Maintainer: Debian OCaml Maintainers < debian-ocaml-maint at lists.debian.org> Architecture: amd64 Version: 20081201.dfsg-2 Depends: libart-2.0-2 (>= 2.3.18), libatk1.0-0 (>= 1.20.0), libc6 (>= 2.4), libcairo2 (>= 1.2.4), libfontconfig1 (>= 2.4.0), libfreetype6 (>= 2.2.1), libglib2.0-0 (>= 2.16.0), libgnomecanvas2-0 (>= 2.11.1), libgnomeprint2.2-0 (>= 2.17.0), libgtk2.0-0 (>= 2.17.0), libgtksourceview1.0-0 (>= 1.7.2), libncurses5 (>= 5.6+20071006-3), libpango1.0-0 (>= 1.14.0), libxml2 (>= 2.6.27), zlib1g (>= 1:1.1.4), graphviz, why (>= 2.18.dfsg-4), gcc, emacs | emacsen, libocamlgraph-ocaml-dev (>= 1.0-2) Filename: pool/universe/f/frama-c/frama-c_20081201.dfsg-2_amd64.deb Size: 6855896 MD5sum: 98a36ca38e298f03d875a94c560578fa SHA1: d39d2d0118ff57a9b969492c6ec4350754c11a26 SHA256: 995cac69d1e2e422b1967fb69cb2e458ddbcb87810326a0dca152bf856eba7ad Description: Framework for source code analysis of software written in C Framework dedicated to the analysis of the source code of software written in C . It can be used to : * Validate it formally * Look for potential runtime errors * Audit or review it * Reverse engineer it to understand its structure * Generate formal documentation Homepage: http://frama-c.cea.fr/ Bugs: https://bugs.launchpad.net/ubuntu/+filebug Origin: Ubuntu -- Yannick -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20100507/797c4a0f/attachment.htm>