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 /dependencies_native.dot | |
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 'dependencies_native.dot')
0 files changed, 0 insertions, 0 deletions