--- layout: fc_discuss_archives title: Message 17 from Frama-C-discuss on May 2010 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] binaries for linux?



>
> 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>