Skip to content

Windows: fix coqdep for coq 8.19.2 and enable coq-quickick for Windows #1930

Windows: fix coqdep for coq 8.19.2 and enable coq-quickick for Windows

Windows: fix coqdep for coq 8.19.2 and enable coq-quickick for Windows #1930