Bump to Iris 4.3.0 (!67) · Merge requests · Lennard Gäher / Refinedrust Dev

Vincent Lafeychine requested to merge lafeychine/iris-4.3 into main Mar 20, 2025

This MR upgrade to the latest version of Iris (4.3.0) and Rocq (8.20.1), and updates Nix/Opam accordingly.

Bump to Iris 4.3.0