diff options
| author | Bernhard Schommer <bschommer@users.noreply.github.com> | 2019-10-31 11:49:42 +0100 |
|---|---|---|
| committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2019-10-31 11:49:42 +0100 |
| commit | 029329c8adc955d9ebe9030074cce0df9dcfa5f7 (patch) | |
| tree | aa4710f853f74020f6cb108114884b177ce61ebd /lib/IntvSets.v | |
| parent | a0844a9b6eb88f9e75f7305e8d1505cf502fb81a (diff) | |
| download | compcert-kvx-029329c8adc955d9ebe9030074cce0df9dcfa5f7.tar.gz compcert-kvx-029329c8adc955d9ebe9030074cce0df9dcfa5f7.zip | |
Raise minimal required versions for OCaml and Coq (#203)
At least OCaml 4.05 is now required as well as Coq 8.8.
Diffstat (limited to 'lib/IntvSets.v')
0 files changed, 0 insertions, 0 deletions