mirage/mirage: PR #1495: WIP: Simplify dune files

@3364461

Stages:

• ❌ x86_64-debian-10-4.13 (5m59s)
• ❌ arm64-debian-10-4.13 (5m05s)

History:

• 06/04/2024 09:33 ❌ @67e507e (10m23s)
• 05/04/2024 08:20 ❌ @b32c697 (10h23m)
• 21/01/2024 19:42 ❌ @487c698 (6m00s)
• 21/01/2024 19:27 ❌ @c92de06 (5m42s)
• 21/01/2024 19:23 ❌ @7d2ba7a (4m28s)
• 21/01/2024 18:43 ❌ @446a43f (5m37s)
• 21/01/2024 18:38 ❌ @1476f8a (1m03s)
• 21/01/2024 14:21 ❌ @3364461 (5m59s)