The Coq mailing list

[Arthur Charguéraud <arthur.chargueraud AT inria.fr>]

Dear Coq user,

If you are using opam or if you are recommending your students to use 
opam to install Coq, you may be interested to know that it does not work 
out of the box anymore.

- The opam package for coqIDE associated with coq=8.8.2 is only 
distributed in opam2 format
- opam2 activates sandboxing by default, using bubblewrap >= 2.0 
(program name bwrap)
- ubuntu 16.04 distributes only an older version of bubblewrap
- opam2 installation scripts fails with an obscur error when using the 
old bubblewrap.

Workaround is to manually install a recent bubblewrap, or disable 
sandboxing (not easy, and not recommended).

(For details: https://github.com/ocaml/opam/issues/3424)

+
Arthur