subject:"\[fstar\-club\] INSTALL.md"

Re: [fstar-club] INSTALL.md

2019-07-02 Thread Catalin Hritcu via fstar-club

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 wrote: > >Hi, > > on >

[fstar-club] INSTALL.md

2019-07-02 Thread paul zimmermann via fstar-club

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