diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2018-07-08 11:13:27 +0000 |
|---|---|---|
| committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2018-07-08 11:13:27 +0000 |
| commit | 3f41f6c5fa6d7f6e50b346f83e8c5e4f5deabaae (patch) | |
| tree | fffd677e81737b9d402954781f6c860e7fce5b40 /pkgs/development/python-modules/GitPython/hardcode-git-path.patch | |
| parent | c73a78bd45fe46d00c7c3f16e6a6d71b778656dc (diff) | |
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