Update Tezos dependency to Florence 9.7
Also update other dependencies.
Opam to 2.1 Coq to 8.13.2
Update vendored test-helper to Florence
-
has a changelog entry
Edited by Pierre-Emmanuel Wulfman
Also update other dependencies.
Opam to 2.1 Coq to 8.13.2
Update vendored test-helper to Florence