Missing Windows 32bit binaries in 2023.11.0 release

coq / platform

Multi platform setup for Coq, Coq libraries and tools

Creative Commons Zero v1.0 Universal

188 stars 49 forks source link

Open tech189 opened 8 months ago

tech189 commented 8 months ago

The 64bit release works fine, but just wondering if 32bit binaries are no longer released?

Looking for Coq-Platform-release-2023.03.0-version.8.17.2023.08-Windows-i686.exe as was included for version 2023.03.0.

MSoegtropIMC commented 8 months ago

It gets increasingly complicated to build them. If you have a good reason for the request I will consider it.

tech189 commented 8 months ago

I don't need them personally, but I think it would be good to put a message in the release notes about deprecating them.

MSoegtropIMC commented 4 months ago

Triage note: we recently dropped 32 bit builds from CI - we will document this in the next release notes and then close this.