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.
We are building and deploying an image of Why3 built on top of Debian buster-slim during our continuous integration. I don’t remember ever encountering your issue. Here is our Dockerfile, in case it helps:
RUN su - bob -c ‘opam init -y --disable-sandboxing’
RUN su - bob -c ‘echo “. /home/bob/.opam/opam-init/init.sh > /dev/null 2> /dev/null || true” >> .bash_profile’
RUN su - bob -c ‘opam update -y’
RUN su - bob -c ‘opam install why3.1.3.3 alt-ergo.2.3.3 -y’