libsolv-rs is choosing slightly older libgfortran5 (on macos-arm64)

[mamba-org]

libsolv-rs is choosing slightly older libgfortran5 (on macos-arm64)

[wolfv]

I think what happens is that first libgfortran-5.0.0-12_2_0_hXXX_32 is picked (also with micromamba).

With micromamba, the following happens:

• libgfortran-5.0.0 depends on libgfortran5 >=11.3, and then libgfortran5-12.3.0 is selected (which has a constraint on libgfortran *_0). Since we selected _32 before, it backtracks, and selects the appropriate 12_3_0_hXXX_0 version. However, the rattler solver picks 12.2 immediately and doesn't do another round of backtracking.

[wolfv]

A test-case that shows this behavior was added in #267

[baszalmstra]

This issue has become quite stale, especially since we use resolvo most of the time. Would you mind if I close this?