[SCM] polybori: Polynomials over Boolean Rings branch, master, updated. upstream/0.8.2-52-gca75c36

[Alexander Dreyer]

The following commit has been merged in the master branch:
commit ca75c360085f3a17729503087426f54260955981
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Tue Jan 8 13:25:52 2013 +0100

    Fixed file modes

diff --git a/Cudd/dddmp/exp/runAllTest.script b/Cudd/dddmp/exp/runAllTest.script
old mode 100755
new mode 100644
diff --git a/Cudd/dddmp/exp/test1.script b/Cudd/dddmp/exp/test1.script
old mode 100755
new mode 100644
diff --git a/Cudd/dddmp/exp/test2.script b/Cudd/dddmp/exp/test2.script
old mode 100755
new mode 100644
diff --git a/Cudd/dddmp/exp/test3.script b/Cudd/dddmp/exp/test3.script
old mode 100755
new mode 100644
diff --git a/Cudd/dddmp/exp/test4.script b/Cudd/dddmp/exp/test4.script
old mode 100755
new mode 100644
diff --git a/Cudd/dddmp/exp/test5.script b/Cudd/dddmp/exp/test5.script
old mode 100755
new mode 100644
diff --git a/Cudd/dddmp/exp/test6.script b/Cudd/dddmp/exp/test6.script
old mode 100755
new mode 100644
diff --git a/Cudd/dddmp/exp/test7.script b/Cudd/dddmp/exp/test7.script
old mode 100755
new mode 100644
diff --git a/debian/patches/0004-Drop-unused-files-from-Cudd-due-to-possible-license-.patch b/debian/patches/0004-Drop-unused-files-from-Cudd-due-to-possible-license-.patch
index 13df1fa..4c6572f 100644
--- a/debian/patches/0004-Drop-unused-files-from-Cudd-due-to-possible-license-.patch
+++ b/debian/patches/0004-Drop-unused-files-from-Cudd-due-to-possible-license-.patch
@@ -182,18 +182,18 @@ Subject: Drop unused files from Cudd due to possible license issues
  delete mode 100644 Cudd/dddmp/exp/5.bdd
  delete mode 100644 Cudd/dddmp/exp/composeids.txt
  delete mode 100644 Cudd/dddmp/exp/one.bdd
- delete mode 100755 Cudd/dddmp/exp/runAllTest.script
+ delete mode 100644 Cudd/dddmp/exp/runAllTest.script
  delete mode 100644 Cudd/dddmp/exp/s27RP1.bdd
  delete mode 100644 Cudd/dddmp/exp/s27deltaDddmp1.bdd
  delete mode 100644 Cudd/dddmp/exp/s27deltaDddmp1.bdd.bis
  delete mode 100644 Cudd/dddmp/exp/s27deltaDddmp2.bdd
- delete mode 100755 Cudd/dddmp/exp/test1.script
- delete mode 100755 Cudd/dddmp/exp/test2.script
- delete mode 100755 Cudd/dddmp/exp/test3.script
- delete mode 100755 Cudd/dddmp/exp/test4.script
- delete mode 100755 Cudd/dddmp/exp/test5.script
- delete mode 100755 Cudd/dddmp/exp/test6.script
- delete mode 100755 Cudd/dddmp/exp/test7.script
+ delete mode 100644 Cudd/dddmp/exp/test1.script
+ delete mode 100644 Cudd/dddmp/exp/test2.script
+ delete mode 100644 Cudd/dddmp/exp/test3.script
+ delete mode 100644 Cudd/dddmp/exp/test4.script
+ delete mode 100644 Cudd/dddmp/exp/test5.script
+ delete mode 100644 Cudd/dddmp/exp/test6.script
+ delete mode 100644 Cudd/dddmp/exp/test7.script
  delete mode 100644 Cudd/dddmp/exp/varauxids.ord
  delete mode 100644 Cudd/dddmp/exp/varnames.ord
  delete mode 100644 Cudd/dddmp/exp/zero.bdd
@@ -28948,7 +28948,7 @@ index 836566f..0000000
 -1 T 1 0 0
 -.end
 diff --git a/Cudd/dddmp/exp/runAllTest.script b/Cudd/dddmp/exp/runAllTest.script
-deleted file mode 100755
+deleted file mode 100644
 index 8d792ef..0000000
 --- a/Cudd/dddmp/exp/runAllTest.script
 +++ /dev/null
@@ -29101,7 +29101,7 @@ index d247bd1..0000000
 -16 1 1 14 15
 -.end
 diff --git a/Cudd/dddmp/exp/test1.script b/Cudd/dddmp/exp/test1.script
-deleted file mode 100755
+deleted file mode 100644
 index 843e365..0000000
 --- a/Cudd/dddmp/exp/test1.script
 +++ /dev/null
@@ -29133,7 +29133,7 @@ index 843e365..0000000
 -END
 -echo "-------------------------------- ... END ----------------------------------"
 diff --git a/Cudd/dddmp/exp/test2.script b/Cudd/dddmp/exp/test2.script
-deleted file mode 100755
+deleted file mode 100644
 index f719ed2..0000000
 --- a/Cudd/dddmp/exp/test2.script
 +++ /dev/null
@@ -29169,7 +29169,7 @@ index f719ed2..0000000
 -rm -f *.*.tmp    
 -
 diff --git a/Cudd/dddmp/exp/test3.script b/Cudd/dddmp/exp/test3.script
-deleted file mode 100755
+deleted file mode 100644
 index 408496c..0000000
 --- a/Cudd/dddmp/exp/test3.script
 +++ /dev/null
@@ -29244,7 +29244,7 @@ index 408496c..0000000
 -echo "-------------------------------- ... END ----------------------------------"
 -rm -f *.*.tmp
 diff --git a/Cudd/dddmp/exp/test4.script b/Cudd/dddmp/exp/test4.script
-deleted file mode 100755
+deleted file mode 100644
 index 2c50992..0000000
 --- a/Cudd/dddmp/exp/test4.script
 +++ /dev/null
@@ -29306,7 +29306,7 @@ index 2c50992..0000000
 -echo "-------------------------------- ... END ----------------------------------"
 -rm -f *.*.tmp
 diff --git a/Cudd/dddmp/exp/test5.script b/Cudd/dddmp/exp/test5.script
-deleted file mode 100755
+deleted file mode 100644
 index 9676c94..0000000
 --- a/Cudd/dddmp/exp/test5.script
 +++ /dev/null
@@ -29354,7 +29354,7 @@ index 9676c94..0000000
 -echo "-------------------------------- ... END ----------------------------------"
 -rm -f *.*.tmp    
 diff --git a/Cudd/dddmp/exp/test6.script b/Cudd/dddmp/exp/test6.script
-deleted file mode 100755
+deleted file mode 100644
 index 0b4295e..0000000
 --- a/Cudd/dddmp/exp/test6.script
 +++ /dev/null
@@ -29410,7 +29410,7 @@ index 0b4295e..0000000
 -echo "-------------------------------- ... END ----------------------------------"
 -rm -f *.*.tmp    
 diff --git a/Cudd/dddmp/exp/test7.script b/Cudd/dddmp/exp/test7.script
-deleted file mode 100755
+deleted file mode 100644
 index dcef83f..0000000
 --- a/Cudd/dddmp/exp/test7.script
 +++ /dev/null

-- 
polybori: Polynomials over Boolean Rings