mirage/mirage: PR #1268: Fix url given by the src field into the OPAM file

@cc6267c

24/01/2022 17:52

Link to Github

Stages:

❌ x86_64-debian-10-4.13 (15m00s)
❌ arm64-debian-10-4.13 (10m07s)

History:

25/01/2022 13:21 ✔️ @a4ac10d (1h12m)
25/01/2022 13:04 ❌ @b72fb92 (5m04s)
24/01/2022 17:52 ❌ @cc6267c (15m00s)