diff options
| author | Shea Levy <shea@shealevy.com> | 2018-02-09 07:50:49 -0500 |
|---|---|---|
| committer | Peter Simons <simons@cryp.to> | 2018-02-10 18:10:44 +0100 |
| commit | 7ac6c77323dc5faf12427b310a417fb06915d936 (patch) | |
| tree | db087b4e00fa627be5401b5b46974e314ad829de /pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch | |
| parent | 9dfbb5242349fd5397e85b2d438fe0d2b39942c3 (diff) | |
ghc: Make deterministic profiling patches opt-in.
The patch changes some pieces of the exposed API, so we can't have our
default GHC changed in this way.
Diffstat (limited to 'pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch')
0 files changed, 0 insertions, 0 deletions