2018-11-13 13:06:42 UTC
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
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)