diff options
author | Chantal Keller <Chantal.Keller@lri.fr> | 2021-09-20 19:28:50 +0200 |
---|---|---|
committer | Chantal Keller <Chantal.Keller@lri.fr> | 2021-09-20 19:28:50 +0200 |
commit | 07c761c5edc876db6a15aeee7b394580e8ac612e (patch) | |
tree | f8a8c54dc4377acf42c0fdabd0a4cc6b7ac5a6a0 /src/verit | |
parent | 7ee018d1d4c8aa3c3bacb787da2dc18089d01329 (diff) | |
parent | 6624816f2363dfd0b28ae3e1402704b330db1aae (diff) | |
download | smtcoq-07c761c5edc876db6a15aeee7b394580e8ac612e.tar.gz smtcoq-07c761c5edc876db6a15aeee7b394580e8ac612e.zip |
Merge remote-tracking branch 'origin/coq-8.12' into coq-8.13
Diffstat (limited to 'src/verit')
0 files changed, 0 insertions, 0 deletions