diff options
| author | Enrico Tassi | 2015-12-04 14:30:03 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2015-12-04 14:30:03 +0100 |
| commit | e6076b24bd95046f82f84c21f205388c17d2e7c8 (patch) | |
| tree | 093a97e85cf75e56bb1aef77bc030ac2c1f000f0 /mathcomp/ssreflect/plugin | |
| parent | 0b02d109c93af8bf50626d47c680ebc9f4ee820e (diff) | |
fix coq-mathcomp-ssreflect opam package description
Diffstat (limited to 'mathcomp/ssreflect/plugin')
0 files changed, 0 insertions, 0 deletions