opam: pin package versions to last successful Windows build#570
Open
djs55 wants to merge 2 commits intomoby:masterfrom
Open
opam: pin package versions to last successful Windows build#570djs55 wants to merge 2 commits intomoby:masterfrom
djs55 wants to merge 2 commits intomoby:masterfrom