mirage/mirage: PR #1555: Re-introduce deps which can be useful to track dependencies which need to be built but not used to apply a functor

@c7c3305

15/07/2024 07:30

Link to Github

Stages:

✔️ x86_64-debian-10-4.13 (11m45s)
✔️ arm64-debian-10-4.13 (12m46s)

History:

15/07/2024 07:30 ✔️ @c7c3305 (26m17s)
15/07/2024 07:29 🟠 @a1ccba8
12/07/2024 08:51 ✔️ @4a40eb9 (17m55s)