Skip to content

Bump dependencies resulting from full opam-repository upgrade

Other MR: tezos!6593 (merged)

Changes introduced from upgrading the full opam-repo from efe0e53484b1a5a3bde1d762dca7277d0f326ba2 -> 87ee6c685f0d3e809d1c09a26038eb3b07cfebed.

Edited by Ole Krüger

Merge request reports