diff options
| author | Erik Martin-Dorel | 2020-03-08 16:15:05 +0100 |
|---|---|---|
| committer | Erik Martin-Dorel | 2020-03-08 16:15:05 +0100 |
| commit | 3ae871fff2165c27b8bb389f1829766a4d6f00d9 (patch) | |
| tree | 863d77f0d146da6c2637d7f14562a6211dafbd06 /mathcomp/basic | |
| parent | 563f395e1a41caf4978fe9881250ec68796e36a0 (diff) | |
Fix CI (coq-lemma-overloading dropped compatibility with Coq < 8.10)
Diffstat (limited to 'mathcomp/basic')
0 files changed, 0 insertions, 0 deletions