diff options
author | Chantal Keller <Chantal.Keller@inria.fr> | 2015-12-07 12:37:45 +0100 |
---|---|---|
committer | Chantal Keller <Chantal.Keller@inria.fr> | 2015-12-07 12:37:45 +0100 |
commit | b66c3a06caed8a5e240c439d2dafa99ae1f954b6 (patch) | |
tree | c50c3243ea696c5ad6000561b319737d56664f59 /src/versions/standard | |
parent | f33310c1d3d29f05f23ffd34e15e668e6d402914 (diff) | |
download | smtcoq-b66c3a06caed8a5e240c439d2dafa99ae1f954b6.tar.gz smtcoq-b66c3a06caed8a5e240c439d2dafa99ae1f954b6.zip |
Use a fork of native-coqv1.3
Diffstat (limited to 'src/versions/standard')
0 files changed, 0 insertions, 0 deletions