mirror/gmsm
1
0
Fork 0
mirror of https://github.com/emmansun/gmsm.git synced 2025-06-28 00:13:26 +08:00
Code Issues Packages Projects Releases Wiki Activity

build(deps): bump coqorg/coq in /internal/sm2ec/fiat

Browse Source 
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>
This commit is contained in:
dependabot[bot] 2025-06-23 03:35:09 +00:00 committed by GitHub
parent 87cfc1480d
commit da48457f60
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
internal/sm2ec/fiat/Dockerfile
View File

@ -2,7 +2,7 @@
# Use of this source code is governed by a BSD-style # Use of this source code is governed by a BSD-style
# license that can be found in the LICENSE file. # 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 && \ RUN git clone https://github.com/mit-plv/fiat-crypto && cd fiat-crypto && \
git checkout 23d2dbc4ab897d14bde4404f70cd6991635f9c01 && \ git checkout 23d2dbc4ab897d14bde4404f70cd6991635f9c01 && \