mirage/mirage: PR #1618: fix description in opam file

@b582a7a

09/10/2025 20:14

Link to Github

Stages:

✔️ x86_64-debian-13-4.14 (17m23s)
✔️ arm64-debian-13-4.14 (5m18s)
✔️ x86_64-debian-13-5.3 (10m26s)
✔️ arm64-debian-13-5.3 (3m44s)

History:

09/10/2025 20:14 ✔️ @b582a7a (22m43s)
09/10/2025 08:33 ✔️ @25fafc2 (4m57s)
09/10/2025 07:42 ❌ @a42fc02 (3m14s)