(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 [email protected] 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. -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
