mirror of
https://github.com/emmansun/gmsm.git
synced 2025-07-02 18:11:28 +08:00
![dependabot[bot]](/assets/img/avatar_default.png)
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>