diff options
| author | Chantal Keller <Chantal.Keller@inria.fr> | 2020-06-30 09:27:08 +0200 |
|---|---|---|
| committer | Chantal Keller <Chantal.Keller@inria.fr> | 2020-06-30 09:27:08 +0200 |
| commit | 2047f81d05ba46c82d9c503358c4eec17dff7d27 (patch) | |
| tree | d76d1f6d66a3cf64b41b0cc2f7f19852d003bda1 /src | |
| parent | 01d83fcfb40d3f6cae6b3fd83ae7eeac25c7bd15 (diff) | |
| download | smtcoq-2047f81d05ba46c82d9c503358c4eec17dff7d27.tar.gz smtcoq-2047f81d05ba46c82d9c503358c4eec17dff7d27.zip | |
Update required version of OCaml (fixes #73)
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions