diff options
author | Chantal Keller <Chantal.Keller@inria.fr> | 2020-04-01 12:30:43 +0200 |
---|---|---|
committer | Chantal Keller <Chantal.Keller@inria.fr> | 2020-04-01 12:30:43 +0200 |
commit | ef0ae9cd013886345ae061212e01ef02c621a120 (patch) | |
tree | f954ab2dc5e1e547c86dad1d13e639bd389ee364 /.gitignore | |
parent | 632b7b11b25f78461872f50621b325321678810c (diff) | |
download | smtcoq-ef0ae9cd013886345ae061212e01ef02c621a120.tar.gz smtcoq-ef0ae9cd013886345ae061212e01ef02c621a120.zip |
Compiles with Coq-8.11
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -17,6 +17,8 @@ setup.log *.v.d *.aux *.vo +*.vok +*.vos *.d .lia.cache .nia.cache |