diff options
| author | John Wiegley <johnw@newartisans.com> | 2015-12-20 11:12:23 -0800 |
|---|---|---|
| committer | John Wiegley <johnw@newartisans.com> | 2015-12-20 11:12:23 -0800 |
| commit | e582c41482615dc4d383a8d3f578e9ead9209743 (patch) | |
| tree | ad65012720a092bdd2a95dff219e80a8534291b9 /pkgs/development/python-modules/GitPython/hardcode-git-path.patch | |
| parent | 56f6be2583909cff986ec12c9f3a3c9af6e83936 (diff) | |
coqPackages.mathcomp,ssreflect: 1.5 -> 1.6
See the INSTALL file in the mathcomp package for instructions on
upgrading projects from 1.5 to 1.6. The 1.6 version works with both Coq
8.4 and 8.5.
Diffstat (limited to 'pkgs/development/python-modules/GitPython/hardcode-git-path.patch')
0 files changed, 0 insertions, 0 deletions