diff options
| author | Chantal Keller <Chantal.Keller@lri.fr> | 2021-07-11 14:40:16 +0200 |
|---|---|---|
| committer | Chantal Keller <Chantal.Keller@lri.fr> | 2021-07-11 14:40:16 +0200 |
| commit | 266faf9f8bddb038e48e8bfc4a79b6ad68703a92 (patch) | |
| tree | 0cfe44201c38b71236dc38ff061f42bff1ac78c8 /INSTALL.md | |
| parent | e2683e1e653a1b6872a886f4b99218e2803f7a74 (diff) | |
| parent | c76fa36e93277bae14de6d85712131f7e126e9e0 (diff) | |
| download | smtcoq-266faf9f8bddb038e48e8bfc4a79b6ad68703a92.tar.gz smtcoq-266faf9f8bddb038e48e8bfc4a79b6ad68703a92.zip | |
Merge remote-tracking branch 'remotes/origin/master' into coq-8.10
Diffstat (limited to 'INSTALL.md')
0 files changed, 0 insertions, 0 deletions