Skip to content

opam: pin package versions to last successful Windows build#570

Open
djs55 wants to merge 2 commits intomoby:masterfrom
djs55:pin
Open

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

Commits

Commits on Apr 5, 2022