diff options
| author | John Wiegley <johnw@newartisans.com> | 2018-07-08 11:04:17 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-07-08 11:04:17 -0700 |
| commit | 153d32cd9fac7e885979426b0e86b560a661a1ac (patch) | |
| tree | 28e3a27a18f907b92f17d3736f0da51b0d84ef62 /pkgs/development/python-modules/GitPython/hardcode-git-path.patch | |
| parent | 84d8eeae0478a09280a839ecb84e79b86a7a4fbb (diff) | |
| parent | 3f41f6c5fa6d7f6e50b346f83e8c5e4f5deabaae (diff) | |
Merge pull request #43216 from vbgl/coq8.8-equations
coqPackages.equations: enable for Coq 8.8
Diffstat (limited to 'pkgs/development/python-modules/GitPython/hardcode-git-path.patch')
0 files changed, 0 insertions, 0 deletions