diff options
| author | Chantal Keller <Chantal.Keller@lri.fr> | 2021-06-07 16:07:14 +0200 |
|---|---|---|
| committer | Chantal Keller <Chantal.Keller@lri.fr> | 2021-06-07 16:07:14 +0200 |
| commit | c7f38ea3b96ee0e52f0e1f20ccfabd3206ff6ad2 (patch) | |
| tree | f8171808142887e988e228a8b39dc76722fa6652 /unit-tests | |
| parent | 082ec7c44f39f25bc3e59524dd9b358f1a209bca (diff) | |
| parent | fd20ab4585d6e445cd9998ca33e70eb046613be1 (diff) | |
| download | smtcoq-c7f38ea3b96ee0e52f0e1f20ccfabd3206ff6ad2.tar.gz smtcoq-c7f38ea3b96ee0e52f0e1f20ccfabd3206ff6ad2.zip | |
Merge remote-tracking branch 'remotes/origin/coq-8.12' into coq-8.13
Diffstat (limited to 'unit-tests')
0 files changed, 0 insertions, 0 deletions