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