dune-universe/mirage-opam-overlays: PR #4: Add the fixed cross-compiled version of Zarith (which includes the right libdir)

@e4e130a

31/08/2022 15:20

Link to Github

Stages:

✔️ x86_64-debian-10-4.13 (6m31s)
✔️ arm64-debian-10-4.13 (5m49s)

History:

31/08/2022 15:20 ✔️ @e4e130a (6m31s)
31/08/2022 13:48 🟠 @729ff13
31/08/2022 09:43 ✔️ @c11159d (9m25s)
31/08/2022 09:23 ✔️ @4c537e6 (6m57s)
31/08/2022 01:34 ✔️ @e9e0083 (9m40s)