Michael Soegtrop (Oct 31 2022 at 09:49): Michael Soegtrop (Oct 31 2022 at 09:49):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.
Michael Soegtrop (Oct 31 2022 at 21:13):The issue has been resolved by the cygwin team - Coq Platform CI passes on Windows.
Notification Bot (Oct 31 2022 at 21:13):Michael Soegtrop has marked this topic as resolved.
Last updated: Jun 03 2023 at 03:01 UTC