mirage/mirage: PR #1311: mirage.opam & functoria.opam: require opam 2.1.0, fix #1239

@edab586

23/03/2022 13:48

Link to Github

Stages:

✔️ x86_64-debian-10-4.13 (32m28s)
✔️ arm64-debian-10-4.13 (6m26s)

History:

23/03/2022 13:48 ✔️ @edab586 (32m28s)