diff options
| author | Chantal Keller <Chantal.Keller@lri.fr> | 2021-08-30 16:43:44 +0200 |
|---|---|---|
| committer | Chantal Keller <Chantal.Keller@lri.fr> | 2021-08-30 16:43:44 +0200 |
| commit | ff373512da45887621edddf775680bbf1ac7f0b5 (patch) | |
| tree | 1344ee6173de82883083f7c18f5cdbe7921757b9 /INSTALL.md | |
| parent | 4fbae4115d10166f7dab7c02cee01b1bacc61ac7 (diff) | |
| parent | 9f2ad0d53d9a26a6f12d35ec43cfbd412cfdee2f (diff) | |
| download | smtcoq-ff373512da45887621edddf775680bbf1ac7f0b5.tar.gz smtcoq-ff373512da45887621edddf775680bbf1ac7f0b5.zip | |
Merge remote-tracking branch 'remotes/origin/coq-8.11' into coq-8.12
Diffstat (limited to 'INSTALL.md')
0 files changed, 0 insertions, 0 deletions