diff options
| author | John Wiegley <johnw@newartisans.com> | 2018-07-05 15:16:42 -0700 |
|---|---|---|
| committer | John Wiegley <johnw@newartisans.com> | 2018-07-05 15:17:22 -0700 |
| commit | 1459b2dffa8336872f5b1f10cfcb1f1f36d8e490 (patch) | |
| tree | 4b0fddcbf79c4f2c5be16005ad4ed3c1174c1a56 /pkgs/development/python-modules/GitPython/hardcode-git-path.patch | |
| parent | 56afc551f2b895d2c842413cc2a0c040d1ec278b (diff) | |
coqPackages.equations: Add support for Coq 8.8
Diffstat (limited to 'pkgs/development/python-modules/GitPython/hardcode-git-path.patch')
0 files changed, 0 insertions, 0 deletions