diff options
| author | Chantal Keller <Chantal.Keller@lri.fr> | 2017-10-03 11:20:59 +0200 |
|---|---|---|
| committer | Chantal Keller <Chantal.Keller@lri.fr> | 2017-10-03 11:20:59 +0200 |
| commit | 48e123caddd6a4c4edd60d8f39b78a5421418f40 (patch) | |
| tree | 983e804bacb76874c1f10f8f5319b21517f751bc /src/versions/native/Make | |
| parent | ca5213e2a653640cab6d98c1b0e799262b6be33d (diff) | |
| download | smtcoq-48e123caddd6a4c4edd60d8f39b78a5421418f40.tar.gz smtcoq-48e123caddd6a4c4edd60d8f39b78a5421418f40.zip | |
Compiles with both versions of Coq
Diffstat (limited to 'src/versions/native/Make')
0 files changed, 0 insertions, 0 deletions