diff options
author | Valentin Blot <24938579+vblot@users.noreply.github.com> | 2018-11-06 20:24:34 +0100 |
---|---|---|
committer | Valentin Blot <24938579+vblot@users.noreply.github.com> | 2018-11-06 20:38:26 +0100 |
commit | dc28a36ee4b5f673e875b3435618d60d63cf8bea (patch) | |
tree | fe66089189ce111b3a75ba1d4aa9836b909da5ac /src/versions/standard | |
parent | e2173b71befd81885743e9fe9cd77017d329a0ac (diff) | |
download | smtcoq-dc28a36ee4b5f673e875b3435618d60d63cf8bea.tar.gz smtcoq-dc28a36ee4b5f673e875b3435618d60d63cf8bea.zip |
Update INSTALL.md
the opam way of installing is deprecated (at least for the moment)
Diffstat (limited to 'src/versions/standard')
0 files changed, 0 insertions, 0 deletions