install opam - math-comp/math-comp GitHub Wiki

[EDIT by Reynald] Contents moved and expanded on the MathComp website on 2019-07-02