You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Wget also fails for the same packages when I do RUN echo 'download-command: wget' >> $HOME/.opam/config.
Most of my apps dependencies do get installed, with a certain subset always failing to download: topkg astring rresult fmt logs fpath bos cmdliner reason. Releases for all of these except Reason are hosted on the same server, erratique.ch, which might be a clue. My current workaround is to run opam pin add --dev <package> for each one of these before I call opam install --deps-only . in my build.
Apologies if this is the wrong place to report this.
The text was updated successfully, but these errors were encountered:
I think opam has a cache that it can use if the main download site is down (archive-mirrors?), but I don't know how to turn it on. Maybe @kit-ty-kate knows?
I am trying to build arm64 docker images with Docker Desktop on macOS and seeing some packages fail to download during installation.
Output:
To try this you'd need to create a builder following the example here: https://www.docker.com/blog/multi-arch-images/
Wget also fails for the same packages when I do
RUN echo 'download-command: wget' >> $HOME/.opam/config
.Most of my apps dependencies do get installed, with a certain subset always failing to download:
topkg astring rresult fmt logs fpath bos cmdliner reason
. Releases for all of these except Reason are hosted on the same server, erratique.ch, which might be a clue. My current workaround is to runopam pin add --dev <package>
for each one of these before I callopam install --deps-only .
in my build.Apologies if this is the wrong place to report this.
The text was updated successfully, but these errors were encountered: