diff options
| author | John Wiegley <johnw@newartisans.com> | 2018-03-27 10:11:30 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-03-27 10:11:30 -0700 |
| commit | 7f2305c431f04178d9935ffad41956e7e542ac5c (patch) | |
| tree | 8aad37b97439114de4c61916a9440ab4390811a3 /pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch | |
| parent | fb1f35424e7dc10d83830ec7a1177f413e7e622c (diff) | |
| parent | f3c8036a709e30b615c2b6de33b621798110011e (diff) | |
Merge pull request #37919 from vbgl/coq-bignums-8.8
coqPackages.bignums: make it available for Coq 8.8
Diffstat (limited to 'pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch')
0 files changed, 0 insertions, 0 deletions