[dune] ignore lustrec_wp_strategies directory

dune

@@ -38,3 +38,6 @@
   (site
    (lustrec testgen)))
  (files share/FindLustre.cmake share/helpful_functions.cmake))
+
+; ignore lustrec_wp_strategies directory
+(data_only_dirs lustrec_wp_strategies)

dune-project

-(lang dune 2.9)
+(lang dune 3.2)
 
 (name lustrec)
 (version 1.7)

lustrec.opam

@@ -17,7 +17,7 @@ license: "LGPL-3.0-or-later"
 homepage: "https://gitlab.isae-supaero.fr/lustrec/lustrec"
 bug-reports: "https://gitlab.isae-supaero.fr/lustrec/lustrec/-/issues"
 depends: [
-  "dune" {>= "2.9"}
+  "dune" {>= "3.2"}
   "conf-gmp"
   "ocamlgraph"
   "menhir"