workspace.dev

LexiFi · Dec 10, 2018 · 4883149 · 4883149
1 parent 89bc770
commit 4883149
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/dune-workspace.dev b/dune-workspace.dev
@@ -0,0 +1,5 @@
+(lang dune 1.2)
+(context (opam (switch 4.02.2)))
+(context (opam (switch 4.03.0)))
+(context (opam (switch 4.04.0)))
+(context (opam (switch default)))