Commit 09855e28 authored by Ralf Jung's avatar Ralf Jung

fix outdated opam repo URL

parent 8472b1eb
Pipeline #34745 passed with stage
in 29 minutes and 11 seconds