From 046757a231581b44f0398ceb8e258fc5a3829e85 Mon Sep 17 00:00:00 2001
From: maintenance team <salome-mnt@opencascade.com>
Date: Fri, 8 Sep 2006 06:11:04 +0000
Subject: [PATCH] Update in order to use boost 1.32.0

---
 config_Debian_3.1.xml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/config_Debian_3.1.xml b/config_Debian_3.1.xml
index 38c96ff..c8bb3d1 100755
--- a/config_Debian_3.1.xml
+++ b/config_Debian_3.1.xml
@@ -77,7 +77,7 @@
 	   temporarydiskspace="60120"
 	   script="PyQt-3.13.sh"/>
   <product name="boost"
-           version="1.31.0" 
+           version="1.32.0" 
            description="Free peer-reviewed portable STL extension"
            install="install binaries"
 	   supported="use native,install sources,install binaries"
@@ -85,7 +85,7 @@
 	   dependancies="gcc,Python"
 	   installdiskspace="20281"
 	   temporarydiskspace="69752"
-	   script="BOOST-1.31.0.sh"/>
+	   script="BOOST-1.32.0.sh"/>
   <product name="Swig" 
            version="1.3.24" 
            description="Simplified Wrapper and Interface Generator"
-- 
2.39.2