diff options
author | 2017-12-01 13:28:01 -0500 | |
---|---|---|
committer | 2017-12-01 13:28:01 -0500 | |
commit | 9879cc291512223c72a4cac2ef294c216cf64656 (patch) | |
tree | e104527f957e66ef5a1c0225f10f606def04cb80 /install.sh | |
parent | e29993c250164b9486d4d7ffdebb9bfee4a2828f (diff) |
check for Num lib if OCaml >= 4.06, #6162
Diffstat (limited to 'install.sh')
0 files changed, 0 insertions, 0 deletions