fix 32-bit dependency

PrincetonUniversity · Aug 26, 2022 · 83e37d1 · 83e37d1
1 parent c02e82d
commit 83e37d1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/coq-vst-32.opam b/coq-vst-32.opam
@@ -34,7 +34,7 @@ run-test: [
 ]
 depends: [
   "coq" {>= "8.14" & < "8.17~"}
-  "coq-compcert" {>= "3.11"}
+  "coq-compcert-32" {>= "3.11"}
   "coq-vst-zlist" {>= "2.11"}
   "coq-flocq" {>= "4.1.0"}
 ]