diff options
| author | Yves Bertot | 2017-09-13 23:08:41 +0200 |
|---|---|---|
| committer | Yves Bertot | 2017-09-13 23:08:41 +0200 |
| commit | 5466772ab7a59081aed4bcf990bef74e9bd48965 (patch) | |
| tree | e69d5b7c56636019103fbf0279b8030310e86b39 /mathcomp/all | |
| parent | 5a08a2a78f35de41f099a3bd1a49908591d02729 (diff) | |
update the opam description for use in coq.8.7
Diffstat (limited to 'mathcomp/all')
0 files changed, 0 insertions, 0 deletions