I have been trying to install Why3 within a docker image. The base system is Debian buster-slim. The error I get is the following:
[ERROR] The sources of the following couldn’t be obtained, aborting:
- dune.2.7.1: Could not extract archive
- stdlib-shims.0.1.0: Could not extract archive
Other packages required for Why3 seem to install successfully, but not these two. The same installation works on a standalone Debian of the same kind.
Any help is highly appreciated.