wok-6.x diff openjpeg-tools/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 ecff687ff0fc
children
line diff
     1.1 --- a/openjpeg-tools/receipt	Wed May 18 06:55:41 2022 +0100
     1.2 +++ b/openjpeg-tools/receipt	Wed May 18 08:05:48 2022 +0100
     1.3 @@ -16,3 +16,4 @@
     1.4  {
     1.5  	cook_copy_folders	bin
     1.6  }
     1.7 +