diff options
| author | Cyril Cohen | 2020-11-26 12:28:57 +0100 |
|---|---|---|
| committer | Cyril Cohen | 2020-11-26 12:28:57 +0100 |
| commit | 59ea10f20602f7951e1794718dba3c830b0aefe2 (patch) | |
| tree | 238eeb12b45fa38209bb95fa0f528c8a7f853d85 /mathcomp/ssreflect | |
| parent | 6bff567e84b01c1b3502985ec936b9e74ea252b4 (diff) | |
restrict coq version in opam file
Diffstat (limited to 'mathcomp/ssreflect')
0 files changed, 0 insertions, 0 deletions