Enable dune
authorRichard W.M. Jones <rjones@redhat.com>
Wed, 12 Jul 2023 12:58:48 +0000 (13:58 +0100)
committerRichard W.M. Jones <rjones@redhat.com>
Wed, 12 Jul 2023 12:58:48 +0000 (13:58 +0100)
commit14c2539c35635d1c8092295091ddae167512b8be
treeb3f2a7990eb2824075023ecd242d6f5eb4fab0d5
parentd16530e3685ae1d1e1689f98e45026c6b8846c7b
Enable dune

There's a note about a cyclic dependency, but it worked fine for me now.
Goalfile