Commit 4b943421 authored by Ralf Jung's avatar Ralf Jung

write URLs the way opam writes them

parent 00f7b76d
Pipeline #12589 failed with stage
in 12 minutes and 10 seconds