Hi Paul, Don't think this duplication is useful for anything. Let's remove it: https://github.com/FStarLang/FStar/pull/1801
Catalin On Tue, Jul 2, 2019 at 10:45 AM paul zimmermann via fstar-club <fstar-club@lists.gforge.inria.fr> wrote: > > 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 _______________________________________________ fstar-club mailing list fstar-club@lists.gforge.inria.fr https://lists.gforge.inria.fr/mailman/listinfo/fstar-club