Small correction for CAS-6.3-patch

diff --git a/config_Debian_3.1.xml b/config_Debian_3.1.xml
index 375a6fb524dff72fb28cc0b96e3aabf1b6cc1407..5dc4fea4dd21ae55b42e532c2f1c4d6be74e9455 100755 (executable)
--- a/config_Debian_3.1.xml
+++ b/config_Debian_3.1.xml
@@ -372,7 +372,7 @@
     <product name="PatchForOpenCascade" 
             type="prerequisite"
              description="Patch for Open CASCADE version 6.3">
-      <installation os="Debian 4.0 64bit"
+      <installation os="Debian 3.1"
                     version="6.3" 
                    disable="false"
                    installdiskspace="241631,268394,1222169"

diff --git a/config_Debian_4.0.xml b/config_Debian_4.0.xml
index 2d0d9e817e06dab0b40a8ed8dfd30a920743b241..93eae4e2272cce87fc446e7b9ead0eef889db3a7 100755 (executable)
--- a/config_Debian_4.0.xml
+++ b/config_Debian_4.0.xml
@@ -372,7 +372,7 @@
     <product name="PatchForOpenCascade" 
             type="prerequisite"
              description="Patch for Open CASCADE version 6.3">
-      <installation os="Debian 4.0 64bit"
+      <installation os="Debian 4.0"
                     version="6.3" 
                    disable="false"
                    installdiskspace="241631,268394,1222169"

diff --git a/config_Mandriva_2006.0.xml b/config_Mandriva_2006.0.xml
index f8657b9d8b1a72514d4c6e2568ea4906ddf36c06..337879f5b0463fb33471b34a3fb872a49037e361 100755 (executable)
--- a/config_Mandriva_2006.0.xml
+++ b/config_Mandriva_2006.0.xml
@@ -372,7 +372,7 @@
     <product name="PatchForOpenCascade" 
             type="prerequisite"
              description="Patch for Open CASCADE version 6.3">
-      <installation os="Debian 4.0 64bit"
+      <installation os="Mandriva 2006.0"
                     version="6.3" 
                    disable="false"
                    installdiskspace="241631,268394,1222169"

diff --git a/config_Mandriva_2006.0_64bit.xml b/config_Mandriva_2006.0_64bit.xml
index 7bb716a3816b37c2cb6679144641b543e6ef3ef3..9e059a80dbe7051936230b4f507f156941c00958 100755 (executable)
--- a/config_Mandriva_2006.0_64bit.xml
+++ b/config_Mandriva_2006.0_64bit.xml
@@ -372,7 +372,7 @@
     <product name="PatchForOpenCascade" 
             type="prerequisite"
              description="Patch for Open CASCADE version 6.3">
-      <installation os="Debian 4.0 64bit"
+      <installation os="Mandriva 2006.0 64bit"
                     version="6.3" 
                    disable="false"
                    installdiskspace="241631,268394,1222169"

diff --git a/config_Mandriva_2008.0.xml b/config_Mandriva_2008.0.xml
index bacbf9c7a8894b4ea31ca5ad17782d27eaac99bc..355ffba6ecfe895022c9316dddb408e3b6b89eb1 100755 (executable)
--- a/config_Mandriva_2008.0.xml
+++ b/config_Mandriva_2008.0.xml
@@ -372,7 +372,7 @@
     <product name="PatchForOpenCascade" 
             type="prerequisite"
              description="Patch for Open CASCADE version 6.3">
-      <installation os="Debian 4.0 64bit"
+      <installation os="Mandriva 2008.0"
                     version="6.3" 
                    disable="false"
                    installdiskspace="241631,268394,1222169"

diff --git a/config_Mandriva_2008.0_64bit.xml b/config_Mandriva_2008.0_64bit.xml
index 88051f08a14599e7d72ac52f98be8096a52fa9c8..9e6f2708db7a8817aaed5e21fdf4999829f29571 100755 (executable)
--- a/config_Mandriva_2008.0_64bit.xml
+++ b/config_Mandriva_2008.0_64bit.xml
@@ -372,7 +372,7 @@
     <product name="PatchForOpenCascade" 
             type="prerequisite"
              description="Patch for Open CASCADE version 6.3">
-      <installation os="Debian 4.0 64bit"
+      <installation os="Mandriva 2008.0 64bit"
                     version="6.3" 
                    disable="false"
                    installdiskspace="241631,268394,1222169"