debian specific patch information for frama-c / 20100401+boron+dfsg-5

 man/frama-c.1 |    6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

 Makefile |    2 ++
 1 file changed, 2 insertions(+)

 Makefile |   19 ++++++++++++-------
 1 file changed, 12 insertions(+), 7 deletions(-)

 cil/src/frontc/cabs2cil.ml         |    4 ++--
 cil/src/logic/logic_preprocess.ml  |    2 +-
 cil/src/logic/logic_preprocess.mll |    2 +-
 cil/src/logic/logic_typing.ml      |    2 +-
 man/frama-c.1                      |    2 +-
 ptests/ptests.ml                   |    2 +-
 src/ai/base.ml                     |    2 +-
 src/ai/base.mli                    |    2 +-
 src/aorai/abstract_ai.ml           |    2 +-
 src/aorai/bycase_ai.ml             |    2 +-
 src/kernel/journal.ml              |    2 +-
 src/kernel/special_hooks.ml        |    2 +-
 src/lib/qstack.mli                 |    2 +-
 src/memory_state/locations.mli     |    4 ++--
 src/project/kind.ml                |    4 ++--
 src/project/kind.mli               |    4 ++--
 src/scope/dpds_gui.ml              |    2 +-
 src/slicing/fct_slice.ml           |    6 +++---
 src/slicing/register.ml            |    2 +-
 src/slicing/slicingProject.ml      |    2 +-
 20 files changed, 26 insertions(+), 26 deletions(-)

 share/Makefile.dynamic |    6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

 configure    |    2 ++
 configure.in |    1 +
 2 files changed, 3 insertions(+)

 src/kernel/file.ml |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

 src/ai/ival.ml |    4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

 src/value/eval.ml |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

 src/memory_state/offsetmap.ml |    2 +-
 src/value/eval.ml             |    2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

 src/value/kf_state.ml |    4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)