diff options
| author | Erik Martin-Dorel | 2020-03-08 16:07:38 +0100 |
|---|---|---|
| committer | Erik Martin-Dorel | 2020-03-08 17:00:28 +0100 |
| commit | 53d9b14fd642e4b97f70c47c47bc8b243523dbbd (patch) | |
| tree | 701ad3e4a0025e6a844785eb8cebcd6344052b9e /mathcomp | |
| parent | 3ae871fff2165c27b8bb389f1829766a4d6f00d9 (diff) | |
[ci] Build mathcomp/mathcomp-dev:8.11
and test coq-lemma-overloading accordingly.
Diffstat (limited to 'mathcomp')
0 files changed, 0 insertions, 0 deletions