diff options
| author | Chantal Keller <Chantal.Keller@inria.fr> | 2018-10-10 09:30:01 +0200 |
|---|---|---|
| committer | Chantal Keller <Chantal.Keller@inria.fr> | 2018-10-10 09:30:01 +0200 |
| commit | 2e21fade829b79ced140080b68b9efe07a83e922 (patch) | |
| tree | 6f13d977f70314925f1c8fe81c4ac94b5088f873 /examples | |
| parent | 75a524227ac565a0b2e867ca19061bd4d48157a5 (diff) | |
| download | smtcoq-2e21fade829b79ced140080b68b9efe07a83e922.tar.gz smtcoq-2e21fade829b79ced140080b68b9efe07a83e922.zip | |
Version of OCaml is related to installing with Coq-8.6
Diffstat (limited to 'examples')
0 files changed, 0 insertions, 0 deletions