debian specific patch information for frama-c / 20111001+nitrogen+dfsg-3

Package Version	Package Type	Source Package Format
20111001+nitrogen+dfsg-3	Debian-diff	3.0 (quilt)

Debian changes tarfile	frama-c_20111001+nitrogen+dfsg-3.debian.tar.gz
Size	29041
MD5sum	ded5c3e15539cc7aa1a3ba77aeb76ca7

"series" style patches

patch	summary	view	raw
0001-Add-ocamlgraph-to-DYN_-O-B-LINKFLAGS.patch	Makefile \| 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-)	view	download
0002-Accept-ocamlgraph-1.8.patch	configure \| 2 +- configure.in \| 2 +- 2 files changed, 2 insertions(+), 2 deletions(-)	view	download
0003-Fix-spelling-error-in-binary.patch	Changelog \| 8 ++++---- cil/src/cil.ml \| 2 +- cil/src/ext/cfg.mli \| 2 +- cil/src/frontc/cabs2cil.ml \| 2 +- cil/src/logic/logic_typing.ml \| 6 +++--- man/frama-c.1 \| 2 +- src/impact/register.ml \| 4 ++-- src/kernel/cmdline.mli \| 2 +- 8 files changed, 14 insertions(+), 14 deletions(-)	view	download
0004-Use-bin-cp-instead-of-usr-bin-install.patch	share/Makefile.common \| 2 +- 1 file changed, 1 insertion(+), 1 deletion(-)	view	download
0005-Disable-CHMOD_RO-invocations.patch	share/Makefile.common \| 2 +- 1 file changed, 1 insertion(+), 1 deletion(-)	view	download
0006-Patchlevel2-for-Nitrogen-20111001.patch	Changelog \| 21 +++++++++++ src/ai/base.ml \| 6 ++- src/from/from_register.ml \| 3 + src/lib/rangemap.ml \| 4 +- src/memory_state/lmap.ml \| 2 - src/value/eval_exprs.ml \| 81 +++++++++++++++++++++++----------------------- src/value/eval_exprs.mli \| 1 src/value/eval_funs.ml \| 4 +- src/value/eval_logic.ml \| 11 +++++- src/value/eval_stmts.ml \| 15 +++++--- 10 files changed, 95 insertions(+), 53 deletions(-)	view	download