mirage/mirage: PR #1564: opam src url: path includes leading slash

@71e6785

Stages:

• 🟠 x86_64-debian-10-4.13
• 🟡 arm64-debian-10-4.13

History:

• 01/10/2024 15:32 ✔️ @45bc19f (39m56s)
• 01/10/2024 15:29 🟠 @07f92c8
• 01/10/2024 15:25 🟠 @ad6eff2
• 01/10/2024 15:22 🟠 @eccaf15
• 01/10/2024 15:19 🟠 @0df7db7
• 01/10/2024 15:15 🟠 @cbe0105
• 01/10/2024 15:12 🟠 @71e6785
• 01/10/2024 15:08 🟠 @42ee019
• 01/10/2024 12:07 ✔️ @e73cf36 (8m01s)