Release 2.6.4.3

[andreasabel]

Commits:

• Allow Win32-2.14
• Fix Regression in 2.6.4.2 concerning with #7148: restore call to instantiateFull before with-abstraction.
• Fix Regression in 2.6.4 in rewrite with instances #7150 (Instance resolution runs too late, leads to with-abstraction failure #7113): solve constraints after inferring rewrite expression
• Bump version to 2.6.4.3
• Changelog for 2.6.4.3
• Bump stackage snapshots to latest
• Bump std-lib and cubical submodules to their latest master

Candidate: https://hackage.haskell.org/package/Agda-2.6.4.3/candidate

[andreasabel]

@buggymcbugfix : Can you test whether this PR solves your issues with instance search in 2.6.4?

[buggymcbugfix]

@andreasabel thanks, the issue seems fixed now. Cool you were able to fix it this quickly and with such a small patch!

[andreasabel]

I checked master of @martinescardo 's TypeTopology library with the RC.

[martinescardo]

Notice that with is banned from TypeTopology (although one or two uses remain), because it is often hard, and sometimes even impossible, to prove properties of functions defined with with. So, given that the bug was with with, this time passing the TypeTopology test doesn't help much.

[andreasabel]

Released.