dune-universe/opam-overlays: PR #174: ppx_tools uses dune since 6.0

@3310723

24/10/2022 16:31

Link to Github

Stages:

✔️ x86_64-debian-10-4.13 (17m30s)
✔️ arm64-debian-10-4.13 (6m04s)

History:

24/10/2022 16:31 ✔️ @3310723 (17m30s)