Thu, 19 May 2022 18:05:37 +0200Add md5 sums forgotten in earlier commit
Edouard Tisserant <edouard.tisserant@gmail.com> [Thu, 19 May 2022 18:05:37 +0200] rev 42
Add md5 sums forgotten in earlier commit