Please note that installing from sources currently fails on Windows if a fresh cygwin is installed. The curl package is currently broken. I expect that cygwin fixes this within a day or two. As a temporary workaround I would recommend to rollback the curl package to the previous version using the cygwin setup program.
The issue has been resolved by the cygwin team - Coq Platform CI passes on Windows.
Michael Soegtrop has marked this topic as resolved.
Last updated: Jun 03 2023 at 03:01 UTC