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 /unit-tests | |
parent | f33310c1d3d29f05f23ffd34e15e668e6d402914 (diff) | |
download | smtcoq-1.3.tar.gz smtcoq-1.3.zip |
Use a fork of native-coqv1.3
Diffstat (limited to 'unit-tests')
0 files changed, 0 insertions, 0 deletions