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

Tue, 17 May 2022 16:03:04 +0200Dockerfile: use script rather than alias so that bash doesn't need to be interactive shell with a TTY
etisserant <edouard.tisserant@gmail.com> [Tue, 17 May 2022 16:03:04 +0200] rev 41
Dockerfile: use script rather than alias so that bash doesn't need to be interactive shell with a TTY