diff options
| author | Chantal Keller <Chantal.Keller@inria.fr> | 2015-12-03 07:30:19 +0100 |
|---|---|---|
| committer | Chantal Keller <Chantal.Keller@inria.fr> | 2015-12-03 07:30:19 +0100 |
| commit | f33310c1d3d29f05f23ffd34e15e668e6d402914 (patch) | |
| tree | 9b01ccfed3ba1c1eac957c4f438fbbff35e441ee /src/versions/standard | |
| parent | 74aa0e2a6879e2bd062a881bc5fc474374d3c357 (diff) | |
| download | smtcoq-f33310c1d3d29f05f23ffd34e15e668e6d402914.tar.gz smtcoq-f33310c1d3d29f05f23ffd34e15e668e6d402914.zip | |
OPAM currently not supported
Diffstat (limited to 'src/versions/standard')
0 files changed, 0 insertions, 0 deletions