diff options
| author | Cyril Cohen | 2019-04-08 17:07:56 +0200 |
|---|---|---|
| committer | GitHub | 2019-04-08 17:07:56 +0200 |
| commit | 9b8d64cd93474c48200c06ac0e5c3da62fbf915b (patch) | |
| tree | 2b1ad626f07110582d3419dedb1d29a2b9306f7e /coq-mathcomp-solvable.opam | |
| parent | 10f14cf5b5e0e2ea0e84f8f981609d6c39a296cb (diff) | |
Update INSTALL.md
Diffstat (limited to 'coq-mathcomp-solvable.opam')
0 files changed, 0 insertions, 0 deletions