diff options
| author | Mathijs Kwik <mathijs@bluescreen303.nl> | 2013-09-20 14:22:54 +0200 |
|---|---|---|
| committer | Mathijs Kwik <mathijs@bluescreen303.nl> | 2013-09-20 23:51:37 +0200 |
| commit | a12f0fad6927a5d3001f4efee41d999b35bd62e8 (patch) | |
| tree | f8e017b91bfae39c3520a99475955c5bf76d1ced /pkgs/development/python-modules/GitPython/hardcode-git-path.patch | |
| parent | bfdfdaf084fc7351b23e1ae0e935f0f37e18e5e3 (diff) | |
idris: fix by using llvm-general 3.3.5.*
I tried jailbreaking, but this didn't work as llvm-general is an
optional (but enabled by default) dependency.
Manual patching revealed idris gets confused over the
llvm-general/llvm-general-pure split.
Diffstat (limited to 'pkgs/development/python-modules/GitPython/hardcode-git-path.patch')
0 files changed, 0 insertions, 0 deletions