diff --git a/dune-workspace.dev b/dune-workspace.dev index 1c68f94c..74e27563 100644 --- a/dune-workspace.dev +++ b/dune-workspace.dev @@ -6,4 +6,5 @@ (context (opam (switch 4.04.2))) (context (opam (switch 4.05.0))) (context (opam (switch 4.06.1))) -(context (opam (switch 4.07.0+trunk))) +(context (opam (switch 4.07.0))) +(context (opam (switch 4.08.0+trunk)))