Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

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