diff options
| author | Russell O'Connor <oconnorr@google.com> | 2015-09-09 23:43:31 -0400 |
|---|---|---|
| committer | Russell O'Connor <roconnor@theorem.ca> | 2015-09-10 11:50:38 -0400 |
| commit | 4cc5f5dbb6db6b17f5346cc601b364f758600083 (patch) | |
| tree | 20808958931b355e627e2f0b533248d87e34b9ff /pkgs/development/python-modules/GitPython/hardcode-git-path.patch | |
| parent | 772ec9cae31f1037df1687e3fc83660b699835d6 (diff) | |
coq: Add csdp dependency
The csdp program is invoked for some uses of Micromega tactics.
Diffstat (limited to 'pkgs/development/python-modules/GitPython/hardcode-git-path.patch')
0 files changed, 0 insertions, 0 deletions