Hi, on https://github.com/FStarLang/FStar/blob/master/INSTALL.md#building-f-from-sources, paragraph "Instructions for all OSes", Step 4, in the line $ opam install ocamlbuild ocamlfind ..., the 'pprint' package is listed twice. Maybe this is wanted?
Best regards, Paul Zimmermann _______________________________________________ fstar-club mailing list fstar-club@lists.gforge.inria.fr https://lists.gforge.inria.fr/mailman/listinfo/fstar-club