diff options
| author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2022-12-08 16:05:16 +0100 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2022-12-08 16:05:16 +0100 |
| commit | 8d21a7fa245637b684ddb4c12f4bfa6295569fb6 (patch) | |
| tree | b1dc2549f9c9dc8e12a5c3679d584a1e5d8dfc10 /backend/Inliningproof.v | |
| parent | e5d132537bd2dbbf9c3d4b313c6b312b62ac133e (diff) | |
| download | compcert-8d21a7fa245637b684ddb4c12f4bfa6295569fb6.tar.gz compcert-8d21a7fa245637b684ddb4c12f4bfa6295569fb6.zip | |
Remove support for 32-bit Cygwin
Cygwin 32 bits has reached end of life, and Cygwin >= 3.4 will be 64-bit only.
(https://cygwin.com/pipermail/cygwin-announce/2022-November/010777.html)
Diffstat (limited to 'backend/Inliningproof.v')
0 files changed, 0 insertions, 0 deletions