Skip to content
Snippets Groups Projects
Commit 0bcd09e6 authored by Shachar Itzhaky's avatar Shachar Itzhaky
Browse files

[bugfix] [docker] Need to upgrade apt before installing. 

In case the certificates in the Debian image are too old, blocking
installation of OPAM via wget.
parent 73435f69
No related branches found
No related tags found
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment