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

@4a40eb9

12/07/2024 08:51

Link to Github

Stages:

✔️ x86_64-debian-10-4.13 (9m59s)
✔️ arm64-debian-10-4.13 (9m19s)

History:

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