wok diff netplug/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 241fb98cab1c
children
line diff
     1.1 --- a/netplug/receipt	Tue Feb 15 18:29:48 2022 +0000
     1.2 +++ b/netplug/receipt	Wed May 18 08:05:48 2022 +0100
     1.3 @@ -8,7 +8,7 @@
     1.4  LICENSE="GPL2"
     1.5  TARBALL="$PACKAGE-$VERSION.tar.bz2"
     1.6  WEB_SITE="http://www.serpentine.com/blog/software/netplug/"
     1.7 -WGET_URL="http://www.red-bean.com/~bos/netplug/$TARBALL"
     1.8 +WGET_URL="https://www.red-bean.com/~bos/netplug/$TARBALL"
     1.9  
    1.10  # What is the latest version available today?
    1.11  current_version()