diff options
| author | Petr Rockai <me@mornfall.net> | 2014-01-12 13:22:58 +0100 |
|---|---|---|
| committer | Petr Rockai <me@mornfall.net> | 2014-01-25 16:33:12 +0100 |
| commit | ed5bd26574c43246920fdf814e997b86c7b50fff (patch) | |
| tree | 2587cd67c5e3bc17b0f08d0f5c15bee554aa651b /pkgs/development/python-modules/GitPython/hardcode-git-path.patch | |
| parent | e3fae16a298f3a7741c41df142245a75e6249365 (diff) | |
STP: Simple Theorem Prover (a SMT solver for bitvectors & arrays).
Diffstat (limited to 'pkgs/development/python-modules/GitPython/hardcode-git-path.patch')
0 files changed, 0 insertions, 0 deletions