From da48457f6033e73f51e2ebfff9eb1f9ac88029a1 Mon Sep 17 00:00:00 2001
From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com>
Date: Mon, 23 Jun 2025 03:35:09 +0000
Subject: [PATCH] build(deps): bump coqorg/coq in /internal/sm2ec/fiat

Bumps coqorg/coq from 8.13.2 to 8.20.1.

---
updated-dependencies:
- dependency-name: coqorg/coq
  dependency-version: 8.20.1
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <support@github.com>
---
 internal/sm2ec/fiat/Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/internal/sm2ec/fiat/Dockerfile b/internal/sm2ec/fiat/Dockerfile
index fe31d36..5192b67 100644
--- a/internal/sm2ec/fiat/Dockerfile
+++ b/internal/sm2ec/fiat/Dockerfile
@@ -2,7 +2,7 @@
 # Use of this source code is governed by a BSD-style
 # license that can be found in the LICENSE file.
 
-FROM coqorg/coq:8.13.2
+FROM coqorg/coq:8.20.1
 
 RUN git clone https://github.com/mit-plv/fiat-crypto && cd fiat-crypto && \
     git checkout 23d2dbc4ab897d14bde4404f70cd6991635f9c01 && \