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.

Last updated: Jan 30 2023 at 10:03 UTC