frama-c_20090902+beryllium+dfsg-1_i386.changes is NEW
(new) frama-c-base_20090902+beryllium+dfsg-1_i386.deb extra math
Framework for source code analysis of software written in C
Frama-C is a framework dedicated to the analysis of the source code
of software written in C.
.
Frama-C gathers several static analysis techniques in a single
collaborative framework. The collaborative approach of Frama-C allows
static analyzers to build upon the results already computed by other
analyzers in the framework. Thanks to this approach, Frama-C provides
sophisticated tools, such as a slicer and dependency analysis.
.
It can be used to:
* Validate the source code formally
* Look for potential runtime errors
* Audit or review it
* Reverse engineer it to understand its structure
* Generate formal documentation
.
This package provides the library of Frama-c which is useful to build
plugins for Frama-c and the command-line tools.
frama-c_20090902+beryllium+dfsg-1.diff.gz
to main/f/frama-c/frama-c_20090902+beryllium+dfsg-1.diff.gz
frama-c_20090902+beryllium+dfsg-1.dsc
to main/f/frama-c/frama-c_20090902+beryllium+dfsg-1.dsc
frama-c_20090902+beryllium+dfsg-1_i386.deb
to main/f/frama-c/frama-c_20090902+beryllium+dfsg-1_i386.deb
frama-c_20090902+beryllium+dfsg.orig.tar.gz
to main/f/frama-c/frama-c_20090902+beryllium+dfsg.orig.tar.gz
Changes: frama-c (20090902+beryllium+dfsg-1) unstable; urgency=low
.
* New upstream release
+ Remove 0001-Fix-weak-pattern-matching-in-dynlink_lower_311_byte..patch
(fixed upstream)
+ Remove 0003-Add-dGraphView.cmo-when-linking.patch (fixed upstream)
* Update copyright file
* Remove libjessie-ocaml-dev from build-deps (Why is not needed anymore
to build Frama-C).
* Run dh using "--with ocaml" to trigger dh-ocaml sequence
* Build-depend on ocamlgraph 1.3
* Add a new binary package: frama-c-base
Override entries for your package:
frama-c_20090902+beryllium+dfsg-1.dsc - source devel
frama-c_20090902+beryllium+dfsg-1_i386.deb - extra devel
Announcing to debian-devel-changes@lists.debian.org
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: