diff options
| author | Aaron L. Zeng <me@bcc32.com> | 2022-07-20 00:15:30 -0400 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2022-07-20 06:56:35 +0200 |
| commit | 50d9adfa8aad8ea8144ce9fb907faec0faa350f5 (patch) | |
| tree | 162edf6d3fff21bed2140f42d48c902151e94fa4 /pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch | |
| parent | 35a81f2925e4bfa5321b5777cff03fc56a7758aa (diff) | |
Fix coqPackages.serapi version 8.15 for ocamlPackages.janeStreet version 0.15
This is a follow-up to #166033 adding a patch for coqPackages.serapi
so that it builds successfully with the new Jane Street OCaml
packages. I did not upstream this patch because
upstream (coq-serapi-v8.16) already includes commits mentioning Jane
Street 0.15 compatibility with a similar patch.
Diffstat (limited to 'pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch')
0 files changed, 0 insertions, 0 deletions