diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2015-01-26 18:32:11 +0100 |
|---|---|---|
| committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2015-01-29 08:43:15 +0100 |
| commit | 58297aa1e7d16afadd00ba0d412d80f4567bb40d (patch) | |
| tree | fc6470e1cd8119329b88f23a02803f70be3d5943 /pkgs/development/python-modules/GitPython/hardcode-git-path.patch | |
| parent | 78980ea300a09f4bc8f438475017eec0b454932d (diff) | |
Why3: build also the Coq tactic.
Diffstat (limited to 'pkgs/development/python-modules/GitPython/hardcode-git-path.patch')
0 files changed, 0 insertions, 0 deletions