wok diff openmpi-dev/receipt @ rev 13690

fix get- script to work without error. But the plugin is still broken(bad install).
author: xfred222
date: Wed Dec 12 16:59:24 2012 -0500 (2012-12-12)
parents: dda28a460f9a
children: 47e1df965953
     1.1 --- a/openmpi-dev/receipt	Wed Mar 16 19:05:35 2011 +0000
     1.2 +++ b/openmpi-dev/receipt	Wed Dec 12 16:59:24 2012 -0500
     1.3 @@ -1,7 +1,7 @@
     1.4  # SliTaz package receipt.
     1.5  
     1.6  PACKAGE="openmpi-dev"
     1.7 -VERSION="1.5.2"
     1.8 +VERSION="1.5.3"
     1.9  CATEGORY="development"
    1.10  SHORT_DESC="devel files for opemmpi"
    1.11  MAINTAINER="slaxemulator@gmail.com"