wok-6.x diff hubbub-dev/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: 7c6a33e4a8da
     1.1 --- a/hubbub-dev/receipt	Tue Dec 10 16:06:02 2013 +0000
     1.2 +++ b/hubbub-dev/receipt	Wed May 18 08:05:48 2022 +0100
     1.3 @@ -8,6 +8,7 @@
     1.4  LICENSE="MIT"
     1.5  WANTED="hubbub"
     1.6  WEB_SITE="http://www.netsurf-browser.org/projects/hubbub/"
     1.7 +HOST_ARCH="i486 arm"
     1.8  
     1.9  DEPENDS="pkg-config"
    1.10