mirage/mirage: PR #1477: Revert "use the .opam.locked file for installing the switch dependencies"

@8c48668

24/10/2023 17:30

Link to Github

Stages:

✔️ x86_64-debian-10-4.13 (5m46s)
✔️ arm64-debian-10-4.13 (5m13s)

History:

24/10/2023 17:30 ✔️ @8c48668 (5m46s)