diff options
| author | Cyril Cohen | 2021-01-15 13:58:24 +0100 |
|---|---|---|
| committer | GitHub | 2021-01-15 13:58:24 +0100 |
| commit | 68fab9412b287079164aab5f3eda71fcd65df8cc (patch) | |
| tree | faacdaf98cbaccb37a7db57fd79446a70495ad8e /mathcomp/field | |
| parent | aaffb229c5e0a74c4d52a94dd67197c099c4d89b (diff) | |
| parent | 01260ccd97f5cb698d6cd0936a7ddba43b973afc (diff) | |
Merge pull request #688 from pi8027/coq-8.13
[CI/CD] support Coq 8.13
Diffstat (limited to 'mathcomp/field')
0 files changed, 0 insertions, 0 deletions