wok diff warmux/receipt @ rev 25020

updated openmpi and openmpi-dev (4.0.3 -> 4.1.3)
author: Hans-G?nter Theisgen
date: Wed May 18 08:05:48 2022 +0100 (2022-05-18)
parents: 535c806240cc
children: c3e3440b68fb
     1.1 --- a/warmux/receipt	Thu Feb 17 12:02:46 2022 +0000
     1.2 +++ b/warmux/receipt	Wed May 18 08:05:48 2022 +0100
     1.3 @@ -8,7 +8,7 @@
     1.4  LICENSE="GPL2"
     1.5  WEB_SITE="https://www.warmux.org/"
     1.6  TARBALL="$PACKAGE-$VERSION.tar.bz2"
     1.7 -WGET_URL="http://download.gna.org/warmux/$TARBALL"
     1.8 +WGET_URL="$WEBSITE$TARBALL"
     1.9  PROVIDE="wormux"
    1.10  SUGGESTED="warmux-music"
    1.11