chore(build) Upgrade to Coq 8.12.2

Signed-off-by: jeromesimeon <jeromesimeon@me.com>
accordproject · Aug 9, 2021 · 104c4bb · 104c4bb
1 parent bd4c87a
commit 104c4bb
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.circleci/config.yml b/.circleci/config.yml
@@ -43,7 +43,7 @@ common_steps: &common_steps
     - run:
         name: "Install Coq"
         command: |
-          opam install -y -v coq.8.12.0 coq-flocq coq-jsast
+          opam install -y -v coq.8.12.2 coq-flocq coq-jsast
         no_output_timeout: 30m
     - run:
         name: "Install Q*cert"