diff options
author | Chantal Keller <Chantal.Keller@lri.fr> | 2021-05-28 19:59:39 +0200 |
---|---|---|
committer | Chantal Keller <Chantal.Keller@lri.fr> | 2021-05-28 19:59:39 +0200 |
commit | 220afeb0eb1b0b63fccd29e254f3179cac834c12 (patch) | |
tree | 7ff6cc51b5e09034658fe053ccff4675a964ed13 /LICENSE | |
parent | a827528c0435f2006560b8cb359420bbffe85881 (diff) | |
parent | 4c348a170ea80d20f08ccd5b20e98f56b9267485 (diff) | |
download | smtcoq-220afeb0eb1b0b63fccd29e254f3179cac834c12.tar.gz smtcoq-220afeb0eb1b0b63fccd29e254f3179cac834c12.zip |
Merge branch 'coq-8.12' of github.com:smtcoq/smtcoq into coq-8.13
Diffstat (limited to 'LICENSE')
0 files changed, 0 insertions, 0 deletions