diff options
author | Chantal Keller <Chantal.Keller@lri.fr> | 2022-05-04 10:57:11 +0200 |
---|---|---|
committer | Chantal Keller <Chantal.Keller@lri.fr> | 2022-05-04 10:57:11 +0200 |
commit | c0a1b83a76f9cf204de434eca969948c89c44598 (patch) | |
tree | 683df3c7a264a43030fa057952dbb6530a5dd4c2 /INSTALL.md | |
parent | d2585fac6defa17889a0244556b6822fc0c3cb4e (diff) | |
parent | f336abf5eae6eb0f664e2af4940df18fb47cc35f (diff) | |
download | smtcoq-c0a1b83a76f9cf204de434eca969948c89c44598.tar.gz smtcoq-c0a1b83a76f9cf204de434eca969948c89c44598.zip |
Merge remote-tracking branch 'origin/coq-8.12' into coq-8.13
Diffstat (limited to 'INSTALL.md')
0 files changed, 0 insertions, 0 deletions