wok diff mariadb-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 2b545d56eedc
children b56b38cfd475
line diff
     1.1 --- a/mariadb-dev/receipt	Tue Jun 03 00:52:44 2014 +0200
     1.2 +++ b/mariadb-dev/receipt	Wed May 18 08:05:48 2022 +0100
     1.3 @@ -26,3 +26,4 @@
     1.4  		cp -a $install$file $fs$file
     1.5  	done < $wanted_stuff/$PACKAGE.files-list
     1.6  }
     1.7 +