diff options
| author | John Wiegley <johnw@newartisans.com> | 2018-07-27 16:15:50 -0700 |
|---|---|---|
| committer | John Wiegley <johnw@newartisans.com> | 2018-07-27 16:17:09 -0700 |
| commit | 08bf0b7630afa8656bb36bd61fac8ce9b2aff613 (patch) | |
| tree | 7fc7f223fd02444cb081a8926af008f2d8540f9f /pkgs/development/python-modules/GitPython/hardcode-git-path.patch | |
| parent | 368cca9f19de661deb03943f25ee02e9287cf63b (diff) | |
coqPackages.category-theory: Add equations as a buildInput
Diffstat (limited to 'pkgs/development/python-modules/GitPython/hardcode-git-path.patch')
0 files changed, 0 insertions, 0 deletions