frama-c_20081201.dfsg-1_i386.changes is NEW
(new) frama-c_20081201.dfsg-1.diff.gz extra math
(new) frama-c_20081201.dfsg-1.dsc extra math
(new) frama-c_20081201.dfsg-1_i386.deb extra math
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
(new) frama-c_20081201.dfsg.orig.tar.gz extra math
Changes: frama-c (20081201.dfsg-1) unstable; urgency=low
.
* Initial release (Closes: #484234)
* Codename: Lithium
Override entries for your package:
Announcing to debian-devel-changes@lists.debian.org
Closing bugs: 484234
Your package contains new components which requires manual editing of
the override file. It is ok otherwise, so please be patient. New
packages are usually added to the override file about once a week.
You may have gotten the distribution wrong. You'll get warnings above
if files already exist in other distributions.
Reply to: