Stream: Coq Platform devs & users

Topic: ✔ Windows failure since cygwin update


view this post on Zulip 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.

view this post on Zulip Michael Soegtrop (Oct 31 2022 at 21:13):

The issue has been resolved by the cygwin team - Coq Platform CI passes on Windows.

view this post on Zulip Notification Bot (Oct 31 2022 at 21:13):

Michael Soegtrop has marked this topic as resolved.


Last updated: Apr 14 2024 at 09:39 UTC