diff options
author | Chantal Keller <Chantal.Keller@lri.fr> | 2022-02-18 16:50:08 +0100 |
---|---|---|
committer | Chantal Keller <Chantal.Keller@lri.fr> | 2022-02-18 16:50:08 +0100 |
commit | f01ad53d1cda7cf519eae137faa87ac47e8b3ab1 (patch) | |
tree | 8027a135aa797c918fec3f29a9c1cc3a711e45b0 /INSTALL.md | |
parent | cc1734c1bc641b0d00a34264c65bfb2604f7aea5 (diff) | |
parent | 965520037392fa6c523348e3ff9dff5b9d5c2313 (diff) | |
download | smtcoq-f01ad53d1cda7cf519eae137faa87ac47e8b3ab1.tar.gz smtcoq-f01ad53d1cda7cf519eae137faa87ac47e8b3ab1.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