Thu, 19 May 2022 18:05:37 +0200 Edouard Tisserant Add md5 sums forgotten in earlier commit