mirage/mirage: PR #1295: Allow to specify version of pinned packages

@097a0fa

18/02/2022 09:58

Link to Github

Stages:

🟡 x86_64-debian-10-4.13
🟡 arm64-debian-10-4.13

History:

18/02/2022 09:58 🟡 @097a0fa
18/02/2022 09:39 🟡 @4733dd7
17/02/2022 17:45 🟡 @2b3da37