debian specific patch information for spark / 2011.0.deb-5

 Makefile                |    2 +-
 checker/Makefile        |    2 +-
 examiner/Makefile       |    2 +-
 pogs/Makefile           |    2 +-
 simplifier/Makefile     |    2 +-
 sparkformat/Makefile    |    2 +-
 sparklalr/Makefile      |    2 +-
 sparkmake/Makefile      |    2 +-
 sparksimp/Makefile      |    2 +-
 victor/Makefile         |    2 +-
 victor_wrapper/Makefile |    2 +-
 wraputility/Makefile    |    2 +-
 12 files changed, 12 insertions(+), 12 deletions(-)

 examiner/Makefile |    6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

 checker/Makefile |   13 +++++++------
 1 file changed, 7 insertions(+), 6 deletions(-)

 checker/sicstus.pro  |    8 ++++++--
 checker/toplevel.pro |    4 ++--
 2 files changed, 8 insertions(+), 4 deletions(-)

 checker/utilities.pro |   12 ------------
 1 file changed, 12 deletions(-)

 checker/sicstus.pro |   96 +++++++++++-----------------------------------------
 1 file changed, 21 insertions(+), 75 deletions(-)

 checker/loadsicstus.pro |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

 checker/loadvc5.pro |    2 ++
 1 file changed, 2 insertions(+)

 checker/checker.pro |   10 ++++++++++
 1 file changed, 10 insertions(+)

 checker/checker.pro   |    5 -----
 checker/getdcldat.pro |    5 -----
 checker/infer2.pro    |    1 -
 checker/loadvc5.pro   |   10 ----------
 checker/prooflogs.pro |    1 -
 checker/save.pro      |    1 -
 checker/setflags.pro  |    1 -
 checker/toplevel.pro  |    1 -
 checker/utilities.pro |    2 --
 9 files changed, 27 deletions(-)

 checker/toplevel.pro |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

 checker/portray.pro |   16 ++++++++--------
 checker/sicstus.pro |    2 +-
 2 files changed, 9 insertions(+), 9 deletions(-)

 checker/sicstus.pro |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

 Makefile        |    2 --
 victor/Makefile |    2 +-
 2 files changed, 1 insertion(+), 3 deletions(-)

 Makefile |    4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

 victor/Makefile |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

 simplifier/simplifier.pro |    8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

 simplifier/Makefile |   21 +++++++++------------
 1 file changed, 9 insertions(+), 12 deletions(-)

 simplifier/data__hyp.pro |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

 simplifier/librarypredicates.pro |    1 -
 1 file changed, 1 deletion(-)

 simplifier/defectreporting.pro |    2 ++
 1 file changed, 2 insertions(+)

 simplifier/defectreporting.pro |    1 -
 simplifier/load__switches.pro  |    2 +-
 simplifier/load__vcg_dpc.pro   |   15 ---------------
 3 files changed, 1 insertion(+), 17 deletions(-)

 simplifier/Makefile |    1 +
 1 file changed, 1 insertion(+)

 simplifier/portray.pro |   16 ++++++++--------
 1 file changed, 8 insertions(+), 8 deletions(-)

 simplifier/makelog.pro   |    1 +
 simplifier/utilities.pro |    5 +++--
 2 files changed, 4 insertions(+), 2 deletions(-)

 simplifier/defectreporting.pro |    4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

 simplifier/data__vcg.pro       |    2 +-
 simplifier/load__switches.pro  |    2 +-
 simplifier/usage_utilities.pro |    2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

 simplifier/data__conc.pro |    1 -
 simplifier/data__pfs.pro  |    4 +---
 2 files changed, 1 insertion(+), 4 deletions(-)

 simplifier/ioutilities.pro       |    2 --
 simplifier/librarypredicates.pro |    1 -
 simplifier/main_simplifier.pro   |    1 -
 simplifier/usage_utilities.pro   |    1 -
 4 files changed, 5 deletions(-)

 simplifier/ioutilities.pro            |    1 -
 simplifier/main_simplifier.pro        |    3 ---
 simplifier/schedulesimplification.pro |    3 ---
 simplifier/simplifier.pro             |    5 -----
 4 files changed, 12 deletions(-)

 victor/vct/src/Makefile |    4 ----
 1 file changed, 4 deletions(-)

 examiner/Makefile       |    2 +-
 pogs/Makefile           |    2 +-
 sparkformat/Makefile    |    2 +-
 sparklalr/Makefile      |    2 +-
 sparkmake/Makefile      |    2 +-
 sparksimp/Makefile      |    2 +-
 victor_wrapper/Makefile |    2 +-
 wraputility/Makefile    |    2 +-
 8 files changed, 8 insertions(+), 8 deletions(-)

 victor/vct/src/Makefile |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

 examiner/Makefile       |    2 +-
 pogs/Makefile           |    2 +-
 sparkformat/Makefile    |    2 +-
 sparklalr/Makefile      |    2 +-
 sparkmake/Makefile      |    2 +-
 sparksimp/Makefile      |    2 +-
 victor_wrapper/Makefile |    2 +-
 wraputility/Makefile    |    2 +-
 8 files changed, 8 insertions(+), 8 deletions(-)

 examiner/Makefile       |    2 ++
 pogs/Makefile           |    3 ++-
 sparkformat/Makefile    |    2 ++
 sparkmake/Makefile      |    3 ++-
 sparksimp/Makefile      |    2 +-
 victor_wrapper/Makefile |    3 ++-
 wraputility/Makefile    |    3 ++-
 7 files changed, 13 insertions(+), 5 deletions(-)