tree f253025e87cc85bfc3df29765d97ae703de76ef5
parent e776a6f1a1546b8ac780a88a3537bb52a95085f3
author Sergiu Deitsch <sergiu.deitsch@gmail.com> 1705520933 +0100
committer Sergiu Deitsch <sergiu.deitsch@gmail.com> 1705520933 +0100
gpgsig -----BEGIN SSH SIGNATURE-----
 U1NIU0lHAAAAAQAAADMAAAALc3NoLWVkMjU1MTkAAAAg3vg8qwvHVhPBrnx4YDqFxqFP3d
 j6luLZ1zAM1x55LLkAAAADZ2l0AAAAAAAAAAZzaGE1MTIAAABTAAAAC3NzaC1lZDI1NTE5
 AAAAQF1mKsxEbJpJJWGtN3BPpoA45T3J3OIkYGWeVOOzKBT5A8QERBYTc+1taQnNbX4lMu
 L1HHyVlpk0cHKpVKVPVQI=
 -----END SSH SIGNATURE-----

MinGW no longer provides a 32-bit METIS package

Change-Id: I63b6efd29589b68cf4d16b1ef41c85b3ee437063