experiment with fixing sail at 0.14

rems-project · Jul 28, 2024 · 5fb856f · 5fb856f
1 parent 621d819
commit 5fb856f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/opam b/opam
@@ -17,7 +17,7 @@ depends: [
   "ocamlbuild"
   "lem" {>= "2018-12-14"}
   "linksem" {>= "0.3"}
-  "sail"
+  "sail" {>= "0.14" & <= "0.14"}
   "sail-legacy"
   "sail-riscv"
   "conf-gmp"