Bump dune to 3.19 and add maintenance_intent to dune-project

Author: filipeom

dune-project

@@ -1,4 +1,4 @@
-(lang dune 3.10)
+(lang dune 3.19)
 
 (using menhir 2.1)
 
@@ -22,6 +22,8 @@
 
 (maintainers "Filipe Marques <[email protected]>")
 
+(maintenance_intent "(latest)")
+
 (documentation "https://formalsec.github.io/smtml/smtml/index.html")
 
 (license "MIT")

smtml.opam

@@ -20,7 +20,7 @@ bug-reports: "https://github.com/formalsec/smtml/issues"
 depends: [
   "bos"
   "cmdliner" {>= "1.3.0"}
-  "dune" {>= "3.10"}
+  "dune" {>= "3.19"}
   "dolmen" {= "0.10"}
   "dolmen_type" {= "0.10"}
   "dolmen_model" {= "0.10"}
@@ -71,11 +71,11 @@ build: [
   ]
 ]
 dev-repo: "git+https://github.com/formalsec/smtml.git"
+x-maintenance-intent: ["(latest)"]
 available: arch != "arm32" & arch != "x86_32"
 pin-depends: [
   ["colibri2.0.4.0" "git+https://git.frama-c.com/pub/colibrics.git#5514303635152b2a0e74bc62914bd3fbcce55445"]
   ["colibrilib.0.4.0" "git+https://git.frama-c.com/pub/colibrics.git#5514303635152b2a0e74bc62914bd3fbcce55445"]
   ["benchpress.dev" "git+https://github.com/sneeuwballen/benchpress.git#7f44cdd9f0511afcce2c9ad3c04cc9b72919bcff"]
   ["extunix.0.4.3" "git+https://github.com/filipeom/extunix.git#ff54e8cc7ec9cdc7171861d74d85f326dbcec62e"]
 ]
-x-maintenance-intent: [ "(latest)" ]

smtml.opam.template

@@ -5,4 +5,3 @@ pin-depends: [
   ["benchpress.dev" "git+https://github.com/sneeuwballen/benchpress.git#7f44cdd9f0511afcce2c9ad3c04cc9b72919bcff"]
   ["extunix.0.4.3" "git+https://github.com/filipeom/extunix.git#ff54e8cc7ec9cdc7171861d74d85f326dbcec62e"]
 ]
-x-maintenance-intent: [ "(latest)" ]