diff options
| author | Nikolay Amiantov <ab@fmap.me> | 2015-04-18 00:40:00 +0300 |
|---|---|---|
| committer | Nikolay Amiantov <ab@fmap.me> | 2015-04-18 00:40:00 +0300 |
| commit | 8f1d2564356afdd10a587a4f80a07d53058eff57 (patch) | |
| tree | 07a83a70800a3b61155904913b10361f756b054c /pkgs/development/python-modules/GitPython/hardcode-git-path.patch | |
| parent | 5eb73dd736076532e3b028e38e90c107d0d6e103 (diff) | |
agda: use GHC 7.8.4 for building
Diffstat (limited to 'pkgs/development/python-modules/GitPython/hardcode-git-path.patch')
0 files changed, 0 insertions, 0 deletions