diff options
| author | Cyril Cohen | 2020-06-08 12:25:37 +0200 |
|---|---|---|
| committer | GitHub | 2020-06-08 12:25:37 +0200 |
| commit | 239983ff051581d8ddaa3db6fdd0a4a0189bfa88 (patch) | |
| tree | a39601bebb56d05fe2a52ffc5b792702835fe840 /mathcomp/field | |
| parent | 778a88cf49d5b3dd3e82d2a25703acc1d050f0e5 (diff) | |
| parent | 2b4e709b7c80e0c35734a7b9eb834cc9d133d8d6 (diff) | |
Merge pull request #524 from erikmd/coq-8.12
[CI/CD] Deploy mathcomp/mathcomp-dev:coq-8.12 (with Coq 8.12+alpha)
Diffstat (limited to 'mathcomp/field')
0 files changed, 0 insertions, 0 deletions