Missing Windows 32bit binaries in 2023.11.0 release #401
Labels
part: documentation
Improvements or additions to documentation
Milestone
Comments
|
It gets increasingly complicated to build them. If you have a good reason for the request I will consider it. |
|
I don't need them personally, but I think it would be good to put a message in the release notes about deprecating them. |
tech189
added a commit
to ScoopInstaller/Main
that referenced
this issue
Mar 15, 2024
Removed 32bit because the binaries are no longer being built: coq/platform#401 (comment) Added icon to shortcut
MSoegtropIMC
added
the
part: documentation
|
Triage note: we recently dropped 32 bit builds from CI - we will document this in the next release notes and then close this. |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
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.exeas was included for version 2023.03.0.The text was updated successfully, but these errors were encountered: