Fix compilation with recent dune
authorJulien Puydt <jpuydt@debian.org>
Thu, 6 Jul 2023 06:56:38 +0000 (08:56 +0200)
committerJulien Puydt <jpuydt@debian.org>
Thu, 6 Jul 2023 06:56:38 +0000 (08:56 +0200)
commit7fafdf9bd2b7837073b18bf10d23aa80f425fb81
treee46968a311fd9b76068600c0980966ae79eadc20
parent99c1af357f88032a211a7363256631500c6b0b84
Fix compilation with recent dune
debian/changelog
debian/rules