updated dune-project file

rems-project · Feb 20, 2024 · 0a633d1 · 0a633d1
1 parent bdf4e84
commit 0a633d1
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/dune-project b/dune-project
@@ -17,10 +17,11 @@
               "\| and a concrete one for the Morello architecture.
  )
  (depends 
- 	(coq (< 8.17.0))
+ 	(coq )
+ 	(coq-stdpp (= dev.2023-12-26.0.dd93e4c3))
   coq-sail-stdpp
   coq-ext-lib
-  (coq-stdpp-unstable (= dev.2023-02-17.2.2d8ccea3))
+  (coq-stdpp-unstable (>= dev.2023-02-17.2.2d8ccea3))
  )
 )