diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2023-02-22 11:51:50 +0100 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2023-03-01 10:02:09 +0000 |
| commit | 1662bbb5fb786d57473d9c6b5cdef5376fea936e (patch) | |
| tree | e0b47622edd732f82935b457939659c8d70e36f0 /pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch | |
| parent | 7c06a5b7860e452e946c3ed8e9e6fc184d196da2 (diff) | |
coqPackages.smtcoq.cvc4: fix build with bash 5.2
See: 4d85cedf5a312a7750aeb4fb1ce186067887edc1
Diffstat (limited to 'pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch')
0 files changed, 0 insertions, 0 deletions