diff options
| author | sternenseemann <0rpkxez4ksa01gb3typccl0i@systemli.org> | 2021-02-22 22:39:15 +0100 |
|---|---|---|
| committer | sternenseemann <0rpkxez4ksa01gb3typccl0i@systemli.org> | 2021-02-22 23:47:25 +0100 |
| commit | 1bd9bbc335b986e13b26f89f0e629f41bb91eb2e (patch) | |
| tree | e7512ce3454f5bbf85803b424c900c980b074b27 /pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch | |
| parent | cf5345e6961872385fc37c084b5d2edecb472ab9 (diff) | |
haskellPackages.idris: unbreak by applying patches from master
We need to fix two compilation errors caused by breaking changes in
dependencies of idris 1.3.3:
* haskeline >= 0.8
* megaparsec >= 0.9
For both there is a patch on idris master which we can just apply. Both
can presumably removed as soon as the next release of idris 1 hits.
Co-authored-by: Jake Gillberg <jake.gillberg@protonmail.com>
Diffstat (limited to 'pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch')
0 files changed, 0 insertions, 0 deletions