Update DISTENE tools: BLSurf 3.1, Hexotic 1.0

[tools/install.git] / config_Debian_4.0_64bit.xml

diff --git a/config_Debian_4.0_64bit.xml b/config_Debian_4.0_64bit.xml
index b082fb4115849e300bfc9938c08b895a321cee6a..1a962843641806879026d62843dd710eb7659b53 100755 (executable)
--- a/config_Debian_4.0_64bit.xml
+++ b/config_Debian_4.0_64bit.xml
@@ -540,10 +540,10 @@
             type="prerequisite"
              description="Generic batch management library">
       <installation os="Debian 4.0 64bit"
-                    version="1.3.0" 
+                    version="1.3.1" 
                    disable="false"
                    installdiskspace="1552,1148,7192"
-                   script="libBatch-1.3.0.sh"/>
+                   script="libBatch-1.3.1.sh"/>
     </product>
     <product name="expat"
             type="prerequisite"