Commit graph

2 commits

Author SHA1 Message Date
34539125c4 Depend on dune 3.16
We depend on a feature newer than 3.14.2 and it works for 3.16.
2024-10-04 13:15:13 +02:00
7e9d7364a2
First commit 2023-11-13 19:13:44 +01:00