diff options
| author | Vladimír Čunát <vcunat@gmail.com> | 2015-10-28 11:48:50 +0100 |
|---|---|---|
| committer | Vladimír Čunát <vcunat@gmail.com> | 2015-10-28 11:50:05 +0100 |
| commit | fd1619cf605fa2d9986ceac9d9e70fb0ca4817bd (patch) | |
| tree | 44e53cd58a93c0313f60b63a16ec36f518c01368 /pkgs/development/python-modules/GitPython/hardcode-git-path.patch | |
| parent | 40a973f9623ffe75b103212d18412fd2e4ce83db (diff) | |
yices: use correct static gmp
It still won't build due to trying to use /sbin/ldconfig,
but gmp-related things do seem OK.
Diffstat (limited to 'pkgs/development/python-modules/GitPython/hardcode-git-path.patch')
0 files changed, 0 insertions, 0 deletions